mr-infty / tapl
Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.
☆11Updated 5 years ago
Alternatives and similar repositories for tapl:
Users that are interested in tapl are comparing it to the libraries listed below
- ☆16Updated 2 years ago
- A translation validation framework for MLIR☆80Updated 3 months ago
- A minimal development of SSA theory☆108Updated this week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- GPU model checker☆11Updated 5 years ago
- ☆26Updated 11 months ago
- ☆227Updated 6 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- PL conference deadline countdowns☆55Updated last week
- Generic model checker for concurrent C programs (mirror repository)☆138Updated 5 months ago
- ☆19Updated last week
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated 9 months ago
- ☆40Updated 2 months ago
- Program synthesis class taught by Loris D'Antoni☆27Updated 2 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆117Updated last week
- Libraries useful for Dafny programs☆43Updated 2 months ago
- A repository to test dialects defined dynamically.☆12Updated last year
- Pono: A flexible and extensible SMT-based model checker☆90Updated last week
- A verified polyhedral scheduling validator in Coq.☆19Updated 4 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- An automated deductive program verifier based on concurrent separation logic☆14Updated this week
- FPGA synthesis tool powered by program synthesis☆41Updated 2 months ago
- Duet: static analysis for unbounded concurrency☆25Updated 3 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 10 months ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- AE-solver and Skolemizer☆16Updated 2 months ago
- A Simple Abstract Interpreter, built for teaching purposes☆17Updated 4 years ago
- Coq集合论中文教程☆44Updated 3 years ago
- Communication between Coq and SAT/SMT solvers☆158Updated 5 months ago