Similar repositories to haskell-implementations/gofer:

• danistefanovic/build-your-own-x github similar
• haskell-implementations/gofer github similar
• ezyang/groom github similar
• haskell-implementations/yhc github similar
• gibiansky/IHaskell github similar
• GaloisInc/anastasia github similar
• kavon/autotune github similar
• pierric/neural-network github similar
• conal/reification-rules github similar
• yveszhang/ldtyping github similar
• mit-plv/reification-by-parametricity github similar
• GaloisInc/golang github similar
• Feldspar/feldspar-compiler github similar
• mchakravarty/hoas-conv github similar
• haskell-implementations/hugs github similar
• gbaz/works-in-progress github similar
• Diderot-Language/diderot github similar
• ucsd-progsys/131-web github similar
• TikhonJelvis/modular-arithmetic github similar
• ilyasergey/monadic-cfa github similar
• evertedsphere/preposterous github similar
• gatlin/psilo github similar
• sunshowers/z3.rkt github similar
• jship/tao github similar
• heades/System-F-Coq github similar
• google/clang-lens github similar
• hoodunit/purescript-nix-bootstrap github similar
• lexi-lambda/racket-higher-rank github similar
• mietek/formal-logic github similar
• elliottt/dang github similar
• gonzaw/extensible-records github similar
• conal/essence-of-ad github similar
• unnohideyuki/bunny github similar
• Jaak/TinyOutsideIn github similar
• coq-ext-lib/coq-compile github similar
• ejconlon/analyze github similar
• olydis/coq2latex github similar
• nikita-volkov/compound-types github similar
• conal/circat github similar
• bmillwood/haskell-src-meta github similar