Popular repositories

1. idris-frex idris-frex Public

   Idris 44 8

2. agda-fragment agda-fragment Public

   Algebraic proof discovery in Agda

   Agda 31 2

3. haskell-frex haskell-frex Public

   Haskell 24 2

4. metaocaml-frex metaocaml-frex Public

   OCaml 20 2

5. multifrex multifrex Public

   Frex-based partial evaluators for multi-sorted algebraic theories and their algebras

   Idris 6