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
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Software Foundations☆118Updated 8 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- A translation validation framework for MLIR☆78Updated 2 months ago
- A compiler from TIP to llvm bitcode☆65Updated last month
- Generic model checker for concurrent C programs (mirror repository)☆137Updated 4 months ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆10Updated this week
- ☆25Updated 10 months ago
- A minimal development of SSA theory☆105Updated this week
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated 8 months ago
- ☆16Updated 2 years ago
- Libraries useful for Dafny programs☆43Updated last month
- GPU model checker☆11Updated 5 years ago
- Program synthesis class taught by Loris D'Antoni☆27Updated last month
- ☆224Updated 5 months ago
- ☆86Updated 2 years ago
- A program synthesis framework for verified lifting applications☆48Updated last month
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆115Updated 5 months ago
- A verified polyhedral scheduling validator in Coq.☆19Updated 3 months ago
- Web page for IU Compiler Course for Fall 2020☆130Updated 4 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆161Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years 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
- A SyGuS Solver☆23Updated last month
- Definition of the Viper intermediate verification language.☆80Updated this week
- Verifying concurrent code with layers and movers☆12Updated 4 years ago
- FPGA synthesis tool powered by program synthesis☆37Updated last month
- A minimalistic and high-performance SAT solver☆22Updated 10 months ago
- Public-facing course info for program analysis materials.☆38Updated last month