Support for for students (Python)
☆76Oct 25, 2026Updated this week
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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Public helper code for p423/p523 students (Racket)☆178Oct 8, 2026Updated 3 weeks ago
- A book about compiling Racket and Python to x86-64 assembly☆1,608Oct 30, 2025Updated last year
- A notional machine for the SMoL languages☆20Sep 12, 2023Updated 3 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆12Feb 4, 2021Updated 5 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆21Jul 21, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A self-guided tutorial to learn about a Djangonaut's debugging toolkit.☆32Sep 10, 2026Updated last month
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago
- Bayesian inference of linear temporal logic (LTL) specifications to explain differences across two sets of traces☆10Nov 19, 2019Updated 6 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆35May 18, 2023Updated 3 years ago
- Python versioned abstract syntax trees and interface to the Python parser☆13Oct 28, 2022Updated 4 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 9 years ago
- List of Linux kernel data races found in recent 5 years☆13Jul 28, 2018Updated 8 years ago
- Reader Implementations of "Writing a C Compiler"☆47Jul 28, 2026Updated 3 months ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Apr 20, 2026Updated 6 months ago
- Material for ProLaLa Keynote☆14Feb 4, 2022Updated 4 years ago
- Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks☆12Feb 19, 2019Updated 7 years ago
- PKU 编译 lab 2023 - SysY 编译器☆14Oct 17, 2023Updated 3 years ago
- Task automation and project templating tool. Define reusable commands in Python, scaffold projects from templates, and let tasks travel…☆12Oct 13, 2026Updated 2 weeks ago
- An optimizing brainf*ck compiler with multiple target backends: JVM, smali, dex, C, LLVM IR, ARM, WASM, JavaScript and Lox.☆12Sep 27, 2023Updated 3 years ago
- Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!☆15Feb 21, 2023Updated 3 years ago
- Cutting-edge, blazing fast embeddable Brainfuck metainterpreter that is the beating heart of our resilient blade servers☆15Dec 1, 2023Updated 2 years ago
- Web page for IU Compiler Course for Fall 2020☆133Dec 11, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated 9 months ago
- Verifier for effectful, higher-order programs☆19Jul 1, 2026Updated 3 months ago
- Test cases for Writing a C Compiler☆401Feb 17, 2026Updated 8 months ago
- ☆14May 12, 2022Updated 4 years ago
- PL/0 Compiler made for Systems Software☆11Aug 1, 2015Updated 11 years ago
- A C compiler written in C for x86-64 GNU/Linux, MacOS and FreeBSD☆55Feb 4, 2026Updated 8 months ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Source code for 'Interpreting Lisp' by Gary D. Knott☆24Mar 22, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- world's worst interpreter☆71Apr 23, 2025Updated last year
- Following Nystrom's book Crafting Interpreters, implemented in C++.☆104Sep 20, 2026Updated last month
- P523 Code☆30Jan 21, 2015Updated 11 years ago
- Lang Party 2022☆25Nov 7, 2022Updated 3 years ago
- A collection of programming languages and type systems.☆37May 11, 2025Updated last year
- Race against others in this new exciting typing game™!☆10Jul 9, 2023Updated 3 years ago
- Micrograd in Zig☆10Dec 10, 2023Updated 2 years ago