Alternatives and similar repositories for Stanford-CS-242-Programming-Languages

Users that are interested in Stanford-CS-242-Programming-Languages are comparing it to the libraries listed below

• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆144Updated 5 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 9 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 5 months ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 6 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆150Updated 3 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• phate / jlm
  ☆71Updated this week
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 9 months ago
• matklad / miniml
  ☆22Updated 9 years ago
• yangdanny97 / chocopy-python-compiler
  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.
  ☆65Updated last year
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆210Updated 5 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆78Updated this week
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆24Updated last month
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• I-mikan-I / ssa-compiler
  ☆23Updated last year
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆65Updated 2 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆78Updated this week
• Wilfred / garden
  an interactive programming language
  ☆49Updated last week
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• 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
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆195Updated 4 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆74Updated 3 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆72Updated 4 months ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 3 years ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆249Updated last week
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆68Updated 3 weeks ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆31Updated 2 weeks ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago