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

• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated 2 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated last month
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 4 months ago
• anqur / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated 3 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆69Updated this week
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• SeaOfNodes / Simple-Rust
  ☆19Updated 3 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆68Updated last week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆127Updated this week
• yuyan-lang / yuyan
  豫言
  ☆27Updated last month
• hgzhehe / iub_2009_P523_framework
  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…
  ☆11Updated 4 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 5 months ago
• obi1kenobi / monad_compiler
  A compiler for the MONAD language from Advent of Code 2021 Day 24
  ☆21Updated 2 years ago
• moonbitlang / minimoonbit-public
  ☆59Updated last month
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 5 months ago
• SchrodingerZhu / rura
  RUst way for Reuse Analysis
  ☆11Updated last year
• clarksmr / sf-lectures
  Software Foundations
  ☆129Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated 2 weeks ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆28Updated last month
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆28Updated last week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆207Updated 4 years ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆44Updated this week
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆23Updated 2 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆52Updated 2 years ago