mr-infty / taplLinks
Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.
☆11Updated 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 3 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆27Updated last year
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆149Updated 5 years ago
- ☆29Updated last year
- A translation validation framework for MLIR☆90Updated 9 months ago
- Generic model checker for concurrent C programs (mirror repository)☆184Updated last month
- A verification tool for many memory models☆108Updated last week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆153Updated 6 months ago
- ☆33Updated 3 years ago
- Examples for TLAPS (TLA+ Proof System)☆16Updated 5 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆72Updated 4 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆163Updated 2 weeks ago
- VeriBetrKV OSDI'20 artifact☆12Updated 5 years ago
- An awesome list of e-graph resources☆279Updated 3 weeks ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆27Updated last year
- Most influential papers in programming languages☆58Updated 11 months ago
- Just save my record on github...☆26Updated 4 years ago
- Apron Numerical Abstract Domain Library☆144Updated 9 months ago
- A compiler from TIP to llvm bitcode☆72Updated last year
- A minimalistic and high-performance SAT solver☆26Updated last year
- Program synthesis class taught by Loris D'Antoni☆38Updated 3 months ago
- ☆234Updated last year
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆285Updated this week
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Updated 4 years ago
- Online demo without installing at - https://buildit.so/tryit☆187Updated 2 weeks ago
- ☆20Updated 3 weeks ago
- A SyGuS Solver☆30Updated 7 months ago
- Libraries useful for Dafny programs☆45Updated 4 months ago