Popular repositories Loading

1. time-complexity-verification time-complexity-verification Public

   Formal verification of time complexity of some algorithms in Agda

   Agda 7

2. typed-peg typed-peg Public

   Racket 4 1

3. arduino-ml arduino-ml Public

   Development of an ml compiler to arduino

   Agda 3

4. redexPEG redexPEG Public

   Racket 3 1

5. red-black-trees-agda red-black-trees-agda Public

   A formalization of red-black trees in Agda

   Agda 2

6. APEG APEG Public

   Java 2