Similar repositories to kentdlee/MLComp:

• kentdlee/MLComp github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• jetho/Implementing-functional-languages github similar
• ct-gradual-typing/Grady github similar
• Suikaba/SelingerQuantumLambdaCalculus github similar
• CoqHott/Program-translations-CC-omega github similar
• julianhyde/morel github similar
• kseo/poly github similar
• GuillermoCalderon/ProjectiveGeometryInAgda github similar
• vellvm/ollvm github similar
• matcom/compilers github similar
• andrejbauer/miniLCF github similar
• jkoppel/thermometer-continuations github similar
• pleiad/Refinements github similar
• logic-tools/sml-handbook github similar
• JohnReppy/compiling-pattern-guards github similar
• UCSD-PL/nano-smt github similar
• bennn/zordoz github similar
• RobertHarper/hott-notes github similar
• lpw25/implicits-module-system github similar
• m15k/hfuse github similar
• RobertHarper/TILT-Compiler github similar
• sergei-romanenko/agda-simple-scp github similar
• coq-community/semantics github similar
• TikhonJelvis/modular-arithmetic github similar
• yallop/staged-generic-programming github similar
• mauny/the-functional-approach-to-programming github similar
• jamesbvaughan/httppl github similar
• neel-krishnaswami/linearml github similar
• strega-nil/stregaml github similar
• david-christiansen/idris-interaction.rkt github similar
• kcrary/cmtool github similar
• jyp/prettiest github similar
• dbp/funtal github similar
• kpavery/System-Fo github similar
• langston-barrett/coq-big-o github similar
• vijaymathew/slogan github similar
• codedot/lambda github similar
• Barry-Jay/bondi github similar