Giters
Frex (frex-project)

Frex

frex-project

Geek Repo

Home Page:https://www.cl.cam.ac.uk/~jdy22/projects/frex/

Github PK Tool:Github PK Tool

Frex's repositories

idris-frex

Language:IdrisLicense:NOASSERTIONStargazers:45Issues:5Issues:2

agda-fragment

Algebraic proof discovery in Agda

Language:AgdaLicense:MITStargazers:31Issues:6Issues:0

haskell-frex

Language:HaskellLicense:MITStargazers:24Issues:5Issues:1

metaocaml-frex

Language:OCamlLicense:MITStargazers:20Issues:4Issues:1

multifrex

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

Language:IdrisStargazers:6Issues:4Issues:0