Skip to content
@frex-project

Frex

Popular repositories Loading

  1. idris-frex idris-frex Public

    Idris 55 12

  2. agda-fragment agda-fragment Public

    Algebraic proof discovery in Agda

    Agda 36 2

  3. metaocaml-frex metaocaml-frex Public

    OCaml 25 3

  4. haskell-frex haskell-frex Public

    Haskell 25 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
    frex-project/idris-frex's past year of commit activity
    Idris 55 12 1 3 Updated Aug 14, 2025
  • metaocaml-frex Public
    frex-project/metaocaml-frex's past year of commit activity
    OCaml 25 MIT 3 0 0 Updated May 16, 2025
  • haskell-frex Public
    frex-project/haskell-frex's past year of commit activity
    Haskell 25 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 36 MIT 2 0 0 Updated Dec 6, 2021

Most used topics

algebra multi-stage