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
  • metaocaml-frex Public
    frex-project/metaocaml-frex’s past year of commit activity
    OCaml 20 MIT 2 0 0 Updated May 16, 2025
  • idris-frex Public
    frex-project/idris-frex’s past year of commit activity
    Idris 47 11 1 4 Updated Nov 27, 2024
  • haskell-frex Public
    frex-project/haskell-frex’s past year of commit activity
    Haskell 23 MIT 2 0 0 Updated Aug 11, 2023
  • multifrex Public

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

    frex-project/multifrex’s past year of commit activity
    Idris 6 0 0 0 Updated Jan 24, 2023
  • agda-fragment Public

    Algebraic proof discovery in Agda

    frex-project/agda-fragment’s past year of commit activity
    Agda 33 MIT 2 0 0 Updated Dec 6, 2021

Top languages

Loading…

Most used topics

Loading…