umd-cmsc330 / cmsc330spring22
☆27Updated 2 years ago
Alternatives and similar repositories for cmsc330spring22:
Users that are interested in cmsc330spring22 are comparing it to the libraries listed below
- ☆18Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 4 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- A Python-like programming language for testing and experimenting with concurrent programs.☆18Updated this week
- A stepping debugger for Standard ML (SML)☆27Updated last year
- An menu/quick reference for Programming Language concepts☆20Updated last year
- ☆12Updated 7 months ago
- Course web page for Fall 2021.☆21Updated 3 years ago
- Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens☆20Updated 10 months ago
- Most influential papers in programming languages☆56Updated 3 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- racket llvm C-API bindings☆17Updated 4 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- A notional machine for the SMoL languages☆22Updated last year
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 3 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆25Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 9 months ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- Quantum circuits compiler with staging and continuations☆16Updated 5 months ago
- Support for for students (Python)☆62Updated 4 months ago
- Repository for the "Building a Typechecker from scratch" class☆14Updated last year
- Coursera Course Dan Grossman - (SML - Dr Racket - Ruby) + all other SML assignments from University of Washington☆9Updated 9 years ago
- SIGPLAN website☆11Updated last week
- Racket Equivalence Graph Library☆19Updated 2 years ago
- library learning w egraphs☆17Updated last year
- This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆37Updated last week
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated last month
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago