All Git Users → frex-project

3 open source projects by frex-project

[ Open user page on Github ]

1. haskell-frex

No description or website provided.

✭ 20

haskell Makefile algebra template-haskell multi-stage

2. metaocaml-frex

No description or website provided.

✭ 19

ocaml Makefile algebra metaocaml multi-stage

3. agda-fragment

Algebraic proof discovery in Agda

✭ 28

Agda agda formal-verification universal-algebra

1-3 of 3 user projects