umd-cmsc330 / cmsc330spring22Links
☆27Updated 3 years ago
Alternatives and similar repositories for cmsc330spring22
Users that are interested in cmsc330spring22 are comparing it to the libraries listed below
Sorting:
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- Support for for students (Python)☆64Updated last month
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 4 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated 11 months ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated last week
- Course web page for Fall 2021.☆21Updated 3 years ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- ☆12Updated 10 months ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆26Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- racket llvm C-API bindings☆18Updated last week
- Solutions to OCaml Programming☆85Updated last month
- Most influential papers in programming languages☆57Updated 5 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆56Updated 2 years ago
- ☆17Updated 2 years ago
- Bottom Up Rewrite Generator☆29Updated 7 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Definition of the Viper intermediate verification language.☆87Updated this week
- Resources for Learning PLT Redex☆11Updated 3 years ago
- ☆13Updated 11 months ago
- Website for CS 265☆29Updated 6 months ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 4 years ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆46Updated 6 months ago
- Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens☆23Updated last year
- Binary analysis in HOL☆41Updated 3 months ago
- ☆27Updated 2 months ago
- A Lean library for Computer Science☆32Updated this week