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 🪴
  ☆281Updated last week
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆243Updated last year
• MPRI / M2-4-2
  Functional programming and type systems
  ☆128Updated 9 years ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆54Updated 2 weeks ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆228Updated 2 weeks ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆199Updated last week
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆117Updated last week
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆200Updated this week
• insou22 / mipsy
  Education-focused MIPS Emulator written in Rust.
  ☆99Updated 2 months ago
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆37Updated 6 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆442Updated last week
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆179Updated 9 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆50Updated 2 months ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆179Updated 3 months ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆614Updated 3 months ago
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆59Updated last week
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆210Updated 5 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆33Updated 2 months ago
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆602Updated last year
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆18Updated 2 years ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆692Updated 3 weeks ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆666Updated 2 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆31Updated last year