Similar repositories to peblair/pyret-ocaml:

• peblair/pyret-ocaml github similar
• wangjiezhe/tapl github similar
• ebresafegaga/tina github similar
• Lapz/Compiling-Pattern-Matching-to-Good-Decision-Trees github similar
• ghulette/kaleidoscope github similar
• SomewhatML/match-compile github similar
• jozefg/undergraduate-thesis github similar
• stonebuddha/eopl github similar
• chiroptical/thinking-with-types github similar
• dbp/howtoproveacompiler github similar
• EarlGray/language-incubator github similar
• haskellcamargo/papers-to-read github similar
• i-am-tom/learn-me-a-haskell github similar
• Ekdohibs/joujou github similar
• tgjones/mini-c github similar
• kit-ty-kate/labrys github similar
• ocamllabs/ocaml-modular-implicits github similar
• sweirich/challenge github similar
• lazear/types-and-programming-languages github similar
• nanocaml/nanocaml github similar
• 7sharp9/write-you-an-inference-in-fsharp github similar
• bobzhang/ocaml-book github similar
• andrejbauer/spartan-type-theory github similar
• sampsyo/bril github similar
• melsman/mlkit github similar
• pigworker/CS410-17 github similar
• austral/austral github similar
• jeanqasaur/learn-programming-languages github similar
• polyml/polyml github similar
• c-cube/ocaml-containers github similar
• kunjee17/awesome-fable github similar
• esumii/min-caml github similar
• idris-hackers/software-foundations github similar
• sweirich/pi-forall github similar
• ocaml-batteries-team/batteries-included github similar
• ocsigen/js_of_ocaml github similar
• inhabitedtype/angstrom github similar
• ocamllabs/ocaml-effects-tutorial github similar
• Hirrolot/datatype99 github similar
• brownplt/pyret-lang github similar