Similar repositories to Ides-Language/Ides:

• Ides-Language/Ides github similar
• Eyyub/Untyped-lambda-calculus github similar
• aquynh/capstone github similar
• alexcrichton/cc-rs github similar
• gibiansky/IHaskell github similar
• motemen/gore github similar
• Averethel/OCamlMin github similar
• tuvtran/project-based-learning github similar
• k6io/k6 github similar
• danistefanovic/build-your-own-x github similar
• expnkx/fast_io github similar
• unitb/unitb-semantics github similar
• nojb/mlpolyr github similar
• SRI-CSL/imaude github similar
• tk407/mocaml github similar
• jfrankle/refinements-popl-16 github similar
• htzh/leanproved github similar
• programming-journal/programming-journal.github.io github similar
• tydeu/lean4-papyrus github similar
• ucsd-progsys/lh-workshop github similar
• leanprover/presentations github similar
• RedPRL/sml-dependent-lcf github similar
• namin/dafny-sandbox github similar
• xnning/TypeInfer github similar
• jsiek/denotational_semantics github similar
• RemuLang/remu-type-system github similar
• acieroid/pcesk github similar
• achlipala/frapapp github similar
• RemuLang/proud github similar
• hanazuki/miniml github similar
• ucsd-progsys/131-web github similar
• JoeyEremondi/lambda-pi-constraint github similar
• robrix/abstract-interpretation github similar
• lpeterse/koka github similar
• cucapra/lambdalab github similar
• robertylewis/mathematica github similar
• zachhalle/hotc github similar
• microsoft/compiler-tests github similar
• opencompl/lean-mlir github similar
• thautwarm/LLAST github similar