Similar repositories to frex-project/haskell-frex:
yallop/haskell-frex
github
similar
frex-project/haskell-frex
github
similar
ollef/incrementalism
github
similar
gibiansky/IHaskell
github
similar
hecrj/iced
github
similar
danistefanovic/build-your-own-x
github
similar
UlfNorell/quasi-quote
github
similar
frex-project/agda-fragment
github
similar
mrkgnao/pico
github
similar
andrewthad/primitive-indexed
github
similar
LightAndLight/parametricity-proofs
github
similar
edsko/stack2cabal
github
similar
ocramz/taco-hs
github
similar
jmlowenthal/staged-streams.agda
github
similar
mpickering/elaborator-reflection-haskell
github
similar
cocreature/robinhood
github
similar
GaloisInc/cryptol-verifier
github
similar
mstksg/wavelets
github
similar
ranjitjhala/ghc-options
github
similar
andrejtokarcik/agda-semantics
github
similar
gelisam/worldly
github
similar
Eugeny/terminus
github
similar
k6io/k6
github
similar
JoeyEremondi/lambda-pi-constraint
github
similar
metaocaml/metaocaml-opam
github
similar
shayan-najd/HsAST
github
similar
lambdabetaeta/modal-logics
github
similar
shaunlebron/parinfer
github
similar
inanna-malick/hgit
github
similar
LightAndLight/cbpv
github
similar
treeowl/lazify
github
similar
Zekt/Type-Embellishment
github
similar
qrilka/haskell-navigation
github
similar
LightAndLight/closure
github
similar
maybevoid/dabble
github
similar
LightAndLight/lambdapi
github
similar
andrewthad/bytehash
github
similar
yizhouzhang/olaf-coq
github
similar
benjaminselfridge/logix
github
similar
ekmett/name
github
similar