Similar repositories to RafaelBocquet/haskell-mgeneric:

• RafaelBocquet/haskell-mgeneric github similar
• goldfirere/ghc github similar
• kavon/llvm-statepoint-utils github similar
• scala-native/immix github similar
• haskell/ecosystem-proposals github similar
• sigurdschneider/lvc github similar
• csabahruska/jhc-components github similar
• UlfNorell/agda-summer-school github similar
• protz/mezzo github similar
• edwinb/Protocols github similar
• andrejbauer/coop github similar
• grin-compiler/ghc-whole-program-compiler-project github similar
• hopper-lang/hopper-v0 github similar
• grin-compiler/haskell-code-spot github similar
• adamgundry/type-inference github similar
• grin-compiler/ghc-grin github similar
• simhu/cubical github similar
• ecnerwala/icpc-book github similar
• ekmett/linear github similar
• ghaerr/agg-2.6 github similar
• siddhartha-gadgil/ProvingGround github similar
• puffnfresh/iridium github similar
• ermine-language/ermine github similar
• uhub/awesome-coq github similar
• andrejbauer/spartan-type-theory github similar
• takenobu-hs/haskell-ghc-illustrated github similar
• akabe/ocaml-jupyter github similar
• ott-lang/ott github similar
• andrejbauer/homotopy-type-theory-course github similar
• antalsz/hs-to-coq github similar
• Andromedans/andromeda github similar
• AndrasKovacs/elaboration-zoo github similar
• haskell/lsp github similar
• vellvm/vellvm github similar
• mortberg/cubicaltt github similar
• fabianschuiki/llhd github similar
• FStarLang/karamel github similar
• agda/cubical github similar
• knupfer/haskell-emacs github similar
• lehins/massiv github similar