Similar repositories to RedPRL/sml-dependent-lcf:

• RedPRL/sml-dependent-lcf github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• expnkx/fast_io github similar
• melsman/sigdoc github similar
• RedPRL/sml-typed-abts github similar
• gergoerdi/hindleymilner-agda github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/agda-sheaf-semantics github similar
• jonsterling/brouwer-translations github similar
• jonsterling/purescript-abt github similar
• shwestrick/smlfmt github similar
• motemen/gore github similar
• Averethel/OCamlMin github similar
• tuvtran/project-based-learning github similar
• k6io/k6 github similar
• maxsnew/grammars-and-semantic-actions github similar
• shaunlebron/parinfer github similar
• mikeshulman/cohesivett github similar
• RedPRL/sml-final-pretty-printer github similar
• peterthiemann/definitional-session github similar
• melsman/sml-llvm github similar
• diku-dk/sml-setmap github similar
• camlp5/pa_ppx github similar
• unitb/unitb-semantics github similar
• jonsterling/agda-effectful-forcing github similar
• MatthewFluet/company-mlton github similar
• leanprover/presentations github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• jonsterling/purescript-lcf github similar
• EgbertRijke/sequential_colimits github similar
• JasonGross/lob-paper github similar
• gowthamk/Z3MLton github similar
• diku-dk/sml-random github similar
• azdavis/sml-basis github similar
• jonsterling/ocaml-modular-typechecking github similar
• jonsterling/remark-on-hypothetical-judgment github similar
• RedPRL/sml-lcf github similar
• slamdata/purescript-aff-reattempt github similar
• guillaumebrunerie/SmashProduct github similar