Popular repositories Loading

1. agda-prelude agda-prelude Public

   Programming library for Agda

   Agda 123 24

2. insane insane Public

   Toy typechecker for Insanely Dependent Types

   Haskell 79 4

3. agda-summer-school agda-summer-school Public

   Summer school on programming in Agda

   Agda 68 15

4. x86-agda x86-agda Public

   Inline, type safe X86-64 assembly programming in Agda

   Agda 67 2

5. agda-bench agda-bench Public

   Benchmarking tool for compile-time performance of Agda programs

   Haskell 18 3

6. quasi-quote quasi-quote Public

   Quasi-quoting library for agda

   Agda 17