Popular repositories Loading

1. agda agda Public

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

   Haskell 2.5k 357

2. agda-stdlib agda-stdlib Public

   The Agda standard library

   Agda 583 236

3. cubical cubical Public

   An experimental library for Cubical Agda

   Agda 459 139

4. agda-categories agda-categories Public

   A new Categories library for Agda

   Agda 369 67

5. agda2hs agda2hs Public

   Compiling Agda code to readable Haskell

   Agda 177 37

6. agda-frp-js agda-frp-js Public

   ECMAScript back end for Functional Reactive Programming in Agda

   Agda 103 12