Similar repositories to matteobusi/incremental-mincaml:

• matteobusi/incremental-mincaml github similar
• marcoantoniocorallo/VSA github similar
• bpowers/liquid-types github similar
• acieroid/wassail github similar
• poitin/Distiller github similar
• tov/alms github similar
• mmcqd/datatt github similar
• sweirich/lambda-n-ways github similar
• alhassy/next-700-module-systems github similar
• ranjitjhala/sprite-lang github similar
• AndrasKovacs/staged github similar
• LPTK/simple-sub github similar
• HarvardPL/formulog github similar
• effekt-lang/effekt github similar
• kayceesrk/ocaml5-tutorial github similar
• KeliLanguage/compiler github similar
• mrLSD/riscv-fs github similar
• radsz/jacop github similar
• Whiley/WhileyCompiler github similar
• melsman/mlkit github similar
• frank-lang/frank github similar
• rossberg/1ml github similar
• Andromedans/andromeda github similar
• recursion-schemes/recursion-schemes github similar
• amuletml/amulet github similar
• trailofbits/polytracker github similar
• FStarLang/kremlin github similar
• FStarLang/karamel github similar
• AndrasKovacs/elaboration-zoo github similar
• AndrasKovacs/smalltt github similar
• JetBrains/Arend github similar
• esumii/min-caml github similar
• sweirich/pi-forall github similar
• yatima-inc/yatima-lang-alpha github similar
• jondgoodwin/cone github similar
• racket/typed-racket github similar
• granule-project/granule github similar
• hazelgrove/hazel github similar
• HOL-Theorem-Prover/HOL github similar
• pikelet-lang/pikelet github similar