mr-infty / taplLinks
Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.
☆10Updated 6 years ago
Alternatives and similar repositories for tapl
Users that are interested in tapl are comparing it to the libraries listed below
Sorting:
- CS 704 course website - Principles of Programming Languages☆69Updated 2 years ago
- A translation validation framework for MLIR☆88Updated 7 months ago
- ☆28Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆25Updated last year
- Generic model checker for concurrent C programs (mirror repository)☆158Updated last week
- A verification tool for many memory models☆103Updated this week
- Online demo without installing at - https://buildit.so/tryit☆183Updated 2 weeks ago
- A compiler from TIP to llvm bitcode☆70Updated 10 months ago
- An awesome list of e-graph resources☆249Updated last week
- A minimal development of SSA theory☆186Updated this week
- ☆17Updated 6 months ago
- Most influential papers in programming languages☆57Updated 9 months ago
- TensorRight: Automated Verification of Tensor Graph Rewrites☆15Updated last week
- Search-based compiler for high-performance DSP programming☆69Updated 11 months ago
- A program synthesis framework for verified lifting applications☆56Updated 4 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Collaborative Parallelization Framework (CPF)☆32Updated 2 years ago
- ☆23Updated 2 years ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated last year
- Apron Numerical Abstract Domain Library☆137Updated 7 months ago
- Libraries useful for Dafny programs☆45Updated 2 months ago
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 5 years ago
- NOELLE Offers Empowering LLVM Extensions☆79Updated 2 months ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆18Updated 2 years ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆13Updated 5 months ago
- Website for CS 265☆30Updated 9 months ago
- VeriBetrKV OSDI'20 artifact☆11Updated 5 years ago
- Main repository for Harvard CS260r 2017.☆12Updated 8 years ago