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

• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 2 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 3 weeks ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆56Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆56Updated 6 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆58Updated last month
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆51Updated this week
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 3 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• AZHenley / riscv-parser
  Basis of a RISC-V parser to be used for linters or assemblers.
  ☆46Updated 3 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆25Updated last week
• leissa / whilec
  An interpreter/compiler for a toy language called While. The implementation is in Python.
  ☆19Updated last year
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆69Updated 6 months ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆49Updated 11 months ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆69Updated 3 years ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 2 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated this week
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆122Updated this week
• phate / jlm
  ☆57Updated this week
• nikodemus / foolang
  A toy programming language.
  ☆37Updated last year
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 2 months ago