Public helper code for p423/p523 students (Racket)
☆178Oct 8, 2026Updated 3 weeks ago
Alternatives and similar repositories for public-student-support-code
Users that are interested in public-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:
- Web page for IU Compiler Course for Fall 2020☆133Dec 11, 2020Updated 5 years ago
- Support for for students (Python)☆76Updated this week
- A book about compiling Racket and Python to x86-64 assembly☆1,608Oct 30, 2025Updated last year
- Course web page for Fall 2021.☆22Dec 26, 2021Updated 4 years ago
- A Scheme to x86-64 compiler in Scheme☆81May 4, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The compiler for subset of scheme developed as part of P523☆29Mar 6, 2017Updated 9 years ago
- Essential of Compilation☆36Nov 29, 2021Updated 4 years ago
- P523 Code☆30Jan 21, 2015Updated 11 years ago
- implementation of scheme by Abdulaziz Ghuloum☆13Oct 11, 2011Updated 15 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated this week
- Reference implementation for the Essentials of Compilation course☆17Jun 2, 2016Updated 10 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- Typed Racket data structure libraries☆61Nov 5, 2021Updated 4 years ago
- ☆38Aug 29, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- Darwin is a static blog generator written in Racket - forked from Frog☆18Oct 26, 2020Updated 6 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Oct 8, 2024Updated 2 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Nov 19, 2012Updated 13 years ago
- Canonical miniKanren implementation in Racket☆87Sep 21, 2021Updated 5 years ago
- an incremental approach to compiler construction☆972Oct 9, 2019Updated 7 years ago
- DrRacket plugins for better autocompletion☆65Jul 14, 2024Updated 2 years ago
- Category Theory in Programming☆14Jan 22, 2026Updated 9 months ago
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Generic graph library and algorithms for Racket.☆60Nov 21, 2023Updated 2 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆56May 28, 2020Updated 6 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆565Sep 28, 2026Updated last month
- A notional machine for the SMoL languages☆20Oct 19, 2026Updated last week
- A compiler to compile a simple subset of scheme to LLVM 10☆114May 1, 2021Updated 5 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand☆1,209Mar 13, 2023Updated 3 years ago
- The examples from "The Little MLer" in OCaml and ReasonML☆30Apr 14, 2020Updated 6 years ago
- CS410 "Advanced Functional Programming"☆35Mar 25, 2026Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A notional machine for the SMoL languages☆20Sep 12, 2023Updated 3 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆125Oct 9, 2026Updated 3 weeks ago
- a compiler from a subset of Scheme into X64☆240Jul 29, 2019Updated 7 years ago
- a code coverage tool for racket☆39May 16, 2024Updated 2 years ago
- A Scala-style magic function application form☆42Jul 31, 2022Updated 4 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆105Mar 21, 2024Updated 2 years ago
- ☆16Mar 11, 2022Updated 4 years ago