Popular repositories Loading

1. C311Sp20 C311Sp20 Public

   Racket 16 9

2. MK2020 MK2020 Public

   Racket 7 3

3. nominal-unification nominal-unification Public

   Agda proofs of nominal unification with de Bruijn numbers

   Agda 4

4. alphaKanren-revisited alphaKanren-revisited Public

   A possibly faster implementation of alphaKanren, based on a special nominal unification algorithm and microKanren

   Racket 2 1

5. UNIF2018 UNIF2018 Public

   Paper for UNIF2018, http://unif2018.cic.unb.br/

   TeX 1

6. pretty-monadic-printer pretty-monadic-printer Public

   Haskell