brandonspark / 150lectureNotes
LaTeX compilation framework & LaTeX source library for 15-150 M23 lecture slides
☆10Updated 3 weeks ago
Alternatives and similar repositories for 150lectureNotes:
Users that are interested in 150lectureNotes are comparing it to the libraries listed below
- Prototypes: Object Orientation, Functionally☆44Updated this week
- A notional machine for the SMoL languages☆22Updated last year
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- ☆78Updated 5 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- virtualenv like tool for Racket☆31Updated 2 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- ☆48Updated 5 months ago
- A high-level HTTP client for Racket.☆47Updated last month
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Racket to WebAssembly Compiler☆33Updated 3 months ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- Lang Party 2022☆25Updated 2 years ago
- Claro Lang☆143Updated 11 months ago
- ☆50Updated 2 years ago
- Interactive Scheme Primer, written in Scheme.☆21Updated 6 months ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- ☆40Updated last year
- Scheme implementation (now maybe working properly)☆18Updated last year
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆68Updated 4 months ago
- Datalog + Egg = Good☆66Updated last year
- Plot Cookbook☆50Updated 2 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆72Updated 5 years ago
- Kanren with databases☆43Updated 8 months ago
- Apple array system☆66Updated last week
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- A Kafka client for Racket.☆17Updated last year
- ☆19Updated 2 years ago
- A collection of programming languages and type systems.☆33Updated 8 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated last week