Similar repositories to ocecaco/huet-unify:
ocecaco/huet-unify
github
similar
wrengr/unification-fd
github
similar
Gabriel439/Haskell-MMorph-Library
github
similar
ekmett/free
github
similar
mlatu-lang/mlatu
github
similar
suhailshergill/extensible-effects
github
similar
RedPRL/redtt
github
similar
advancedtelematic/quickcheck-state-machine
github
similar
nitlang/nit
github
similar
acid-state/acid-state
github
similar
sol/doctest
github
similar
joelburget/react-haskell
github
similar
the-little-typer/pie
github
similar
mirth-lang/mirth
github
similar
prathyvsh/category-theory-resources
github
similar
klaussinani/awesome-prolog
github
similar
llvm-hs/llvm-hs
github
similar
Anniepoo/prolog-examples
github
similar
quchen/stgi
github
similar
BNFC/bnfc
github
similar
Hirrolot/metalang99
github
similar
tomjaguarpaw/haskell-opaleye
github
similar
Hirrolot/datatype99
github
similar
snowleopard/alga
github
similar
yallop/effects-bibliography
github
similar
composewell/streamly
github
similar
haskell/parsec
github
similar
reanimate/reanimate
github
similar
polysemy-research/polysemy
github
similar
reflex-frp/reflex
github
similar
ndmitchell/ghcid
github
similar
andrejbauer/plzoo
github
similar
diku-dk/futhark
github
similar
theupdateframework/tuf
github
similar
jfecher/ante
github
similar
flix/flix
github
similar
haskell-servant/servant
github
similar
ekmett/lens
github
similar
agda/agda
github
similar
haskell/haskell-language-server
github
similar