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 2 years ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆18Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆290Updated 3 weeks ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• ucsd-cse12-w21 / ucsd-cse12-w21.github.io
  ☆19Updated 4 years ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆229Updated last month
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆32Updated 2 years ago
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆17Updated 2 weeks ago
• amethyst-lang / amethyst
  Amethyst is a systems language aimed at being simple, small, portable, and safe.
  ☆44Updated last year
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆62Updated 2 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆133Updated last month
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆123Updated 3 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆35Updated last week
• ocamllibs / clangml
  OCaml bindings for Clang
  ☆18Updated 4 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆180Updated 11 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆60Updated 4 months ago
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆547Updated this week
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆27Updated 3 weeks ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• fir-lang / fir
  Fir programming language
  ☆80Updated last week
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆226Updated last year
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated last month
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆43Updated 2 years ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆124Updated last week
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆47Updated 8 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 5 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆253Updated 5 months ago
• janestreet / parallel
  OxCaml Parallelism
  ☆33Updated last month