Awesome Open Source

Programming Languages

Search results for standard library agda

standard-library x

12 search results found

Agda is a dependently typed programming language / interactive theorem prover.

Plfa.github.io ⭐ 1,285

An introduction to programming language theory in Agda

Agda Stdlib ⭐ 537

The Agda standard library

System F Agda ⭐ 44

A formalization of the polymorphic lambda calculus extended with iso-recursive types

Popl19 Tutorial ⭐ 23

Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais

Pts Agda ⭐ 17

A formalization of Pure Type Systems (PTS) in Agda

My final year project at the University of Strathclyde

Quasi Quote ⭐ 13

Quasi-quoting library for agda

F Omega Int Agda ⭐ 9

F-omega with interval kinds mechanized in Agda

A standard library for Agda

Agda Math ⭐ 7

An alternative construction of algebraic structures other than the Agda standard library

Firstorderunificationinagda ⭐ 6

Implementation of McBride's "First-order unification by structural recursion" in Agda.

Related Searches

Types Agda (76)

Haskell Agda (72)

Agda Type Theory (44)

Programming Standard Library (34)

Emacs Agda (29)

Calculus Agda (29)

Programming Language Standard Library (27)

Agda Dependent Types (27)

Programming Agda (24)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.