Alternatives and similar repositories for python-student-support-code

Users that are interested in python-student-support-code are comparing it to the libraries listed below

• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated last year
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆164Updated 6 months ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆73Updated 3 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆25Updated 2 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆44Updated last year
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 5 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆55Updated 2 years ago
• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 4 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆55Updated 11 months ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆60Updated 4 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 3 weeks ago
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆142Updated 4 years ago
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆20Updated this week
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆34Updated 5 years ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆45Updated 2 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆44Updated last week
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆16Updated 7 months ago
• smlnj / legacy
  This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆40Updated last week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆181Updated last month
• pronesto / DCC888
  ☆23Updated 2 weeks ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆64Updated last month
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 4 months ago
• j2kun / mlir-resources
  A list of articles outside of the official MLIR docs that I've found useful for learning MLIR
  ☆11Updated last year
• kayceesrk / cs6225_s25_iitm
  Programs and Proofs -- Spring 2025 -- IITM
  ☆18Updated last month
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆58Updated 2 years ago
• rajeevradnair / wabbit_dbeazley
  Compiler project for Dave Beazley' Wabbit Language
  ☆25Updated 3 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 7 years ago