danvk / Stanford-CS-242-Programming-Languages

Related projects ⓘ

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

• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• rtheunissen / bst
  Exploring the design space of binary search trees
  ☆43Updated 4 months ago
• avik-das / garlic
  A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…
  ☆13Updated 5 months ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆70Updated 3 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆23Updated 10 months ago
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 2 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆45Updated 9 months ago
• tekknolagi / db.py
  ☆22Updated 2 months ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated 3 weeks ago
• rroohhh / draw
  not infinite, but huge canvas collaborative vector drawing program
  ☆11Updated 6 years ago
• Wilfred / garden
  an interactive programming language
  ☆33Updated this week
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆16Updated 9 months ago
• mcy / alkyne
  ☆22Updated 2 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆21Updated 4 months ago
• I-mikan-I / zlox
  lox virtual machine implementation in zig!
  ☆26Updated 2 years ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 2 years ago
• anachro-rs / anachro-forth
  A forth-inspired, bytecode-compiled scripting language for Anachro Powerbus
  ☆13Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 3 weeks ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆18Updated 10 years ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 8 years ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆56Updated last year
• xldenis / besm
  Resurrecting PP-BESM
  ☆25Updated last year
• msinilo / zigtracer
  A simple path-tracer in Zig
  ☆18Updated 3 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆48Updated 4 months ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago