Alternatives and similar repositories for fall2022

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

• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆263Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆287Updated this week
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• Lambda-Mountain-Compiler-Backend / LSTS
  Large Scale Type Systems: ML/C Hybrid Programming Language
  ☆125Updated last month
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆34Updated 3 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆118Updated this week
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆131Updated last week
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• langjam / jam0002
  ☆38Updated 3 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
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆30Updated last year
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆55Updated 2 weeks ago
• fir-lang / fir
  Fir programming language
  ☆73Updated this week
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆182Updated 4 months ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆18Updated 2 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 4 months ago
• ccz181078 / Coq-BB5
  ☆341Updated last week
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆44Updated 2 years ago
• amethyst-lang / amethyst
  Amethyst is a systems language aimed at being simple, small, portable, and safe.
  ☆44Updated last year
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆245Updated last year
• Darksecond / lox
  A rust implementation of the lox language
  ☆113Updated last year
• rexim / bnfuzzer
  Generate random messages based on their BNF definition
  ☆96Updated 2 months ago
• geelon / type-theory
  Type Theory
  ☆24Updated 9 years ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆37Updated 3 weeks ago
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆320Updated this week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆229Updated last week
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆121Updated 2 months ago
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆17Updated last week