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 32 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
  • idris-frex Public
    Idris 47 11 1 4 Updated Nov 27, 2024
  • haskell-frex Public
    Haskell 23 MIT 2 0 0 Updated Aug 11, 2023
  • metaocaml-frex Public
    OCaml 20 MIT 2 0 0 Updated Aug 2, 2023
  • multifrex Public

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

    Idris 6 0 0 0 Updated Jan 24, 2023
  • agda-fragment Public

    Algebraic proof discovery in Agda

    Agda 32 MIT 2 0 0 Updated Dec 6, 2021

Top languages

Loading…

Most used topics

Loading…