Alternatives and similar repositories for fall2022

Users that are interested in fall2022 are comparing it to the libraries listed below

• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆276Updated this week
• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆262Updated last year
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆40Updated last month
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆228Updated last month
• AbooMinister25 / Lite
  an imperative and compiled programming language designed to be developer friendly
  ☆9Updated last year
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• samarthkishor / crafting-interpreters
  An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
  ☆13Updated 5 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆177Updated 8 months ago
• azur1s / holymer
  (WIP) A programming language
  ☆42Updated 7 months ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆54Updated last week
• domdomegg / ottie
  🎓 Web app to help teach HM type inference
  ☆16Updated 3 weeks ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 11 months ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• Nimita311 / incredible-solution
  Solutions to the Incredible Proof Machine http://incredible.pm/
  ☆9Updated 5 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆58Updated 2 years ago
• ucsd-cse12-w21 / ucsd-cse12-w21.github.io
  ☆19Updated 4 years ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆109Updated last week
• tiny-bow / ribbon-language
  Ribbon programming language
  ☆16Updated 3 weeks ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆17Updated 2 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• MPRI / M2-4-2
  Functional programming and type systems
  ☆128Updated 9 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆178Updated 3 months ago
• amethyst-lang / amethyst
  Amethyst is a systems language aimed at being simple, small, portable, and safe.
  ☆44Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆240Updated 11 months ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆31Updated last year
• Hans-Halverson / myte
  Compiler and tooling for the Myte programming language.
  ☆21Updated 2 years ago