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

• IUCompilerCourse / IU-P423-P523-E313-E513-Fall-2020
  Web page for IU Compiler Course for Fall 2020
  ☆132Updated 4 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• IUCompilerCourse / public-student-support-code
  Public helper code for p423/p523 students (Racket)
  ☆166Updated 9 months ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆28Updated 2 years ago
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 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 5 years ago
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆335Updated 4 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆223Updated 5 months ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆98Updated this week
• nlsandler / nqcc2
  Reference implementation for Writing a C Compiler
  ☆196Updated 7 months ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆193Updated 2 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆44Updated last month
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 3 months ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• juniorxxue / learn-plt-redex
  Resources for Learning PLT Redex
  ☆11Updated 4 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆56Updated last year
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆80Updated 10 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated last week
• codereport / SICP-2020
  Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…
  ☆162Updated last year
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 7 months ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆74Updated 3 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆68Updated 3 weeks ago
• pronesto / DCC888
  ☆26Updated 3 months ago
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆21Updated 3 years ago
• goblint / cil
  C Intermediate Language
  ☆154Updated this week
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆210Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year