8000 Frex · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@frex-project

Frex

Popular repositories Loading

  1. idris-frex idris-frex Public

    Idris 47 11

  2. agda-fragment agda-fragment Public

    Algebraic proof discovery in Agda

    Agda 33 2

  3. haskell-frex haskell-frex Public

    Haskell 23 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

Repositories

Showing 5 of 5 repositories

Top languages

Loading…

Most used topics

Loading…
0