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