umd-cmsc330 / cmsc330spring22Links
☆27Updated 2 years ago
Alternatives and similar repositories for cmsc330spring22
Users that are interested in cmsc330spring22 are comparing it to the libraries listed below
Sorting:
- ☆18Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 5 months ago
- Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens☆22Updated last year
- Course web page for Fall 2021.☆22Updated 3 years ago
- P523 Code☆27Updated 10 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆28Updated last month
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- Most influential papers in programming languages☆57Updated 4 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated 10 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- racket llvm C-API bindings☆17Updated 5 months ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Updated 2 years ago
- Solutions to OCaml Programming☆81Updated 2 weeks ago
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- Modern Compiler Implementation in ML (OCaml)☆7Updated 5 years ago
- Conference on Homotopy Type Theory 2023☆13Updated last year
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆52Updated 2 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆75Updated 4 months ago
- A stepping debugger for Standard ML (SML)☆27Updated last year
- Learn Lean 4 with PLFA proofs.☆75Updated last month
- Resources for Learning PLT Redex☆11Updated 3 years ago
- Compiler project for Dave Beazley' Wabbit Language☆25Updated 3 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆24Updated this week
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 6 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- ☆22Updated last year
- ☆11Updated 2 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆25Updated 2 years ago