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☆67Updated 2 years ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated last year
- A translation validation framework for MLIR☆87Updated 3 months ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- 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
- Pono: A flexible and extensible SMT-based model checker☆105Updated this week
- NOELLE Offers Empowering LLVM Extensions☆78Updated last week
- 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
- A verification tool for many memory models☆96Updated last week
- 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
- ☆27Updated last year
- An awesome list of e-graph resources☆188Updated 3 weeks ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆145Updated last week
- ☆22Updated 5 years ago
- Software Foundations☆129Updated last year
- Program Synthesis Course☆255Updated last year
- Apron Numerical Abstract Domain Library☆130Updated 4 months ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆165Updated 4 years ago
- Teaching and Learning Software Verification via SVF☆34Updated last month
- Collaborative Parallelization Framework (CPF)☆32Updated last year
- Generic model checker for concurrent C programs (mirror repository)☆153Updated 3 months ago
- VeriBetrKV OSDI'20 artifact☆11Updated 4 years ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated 2 weeks ago
- ☆40Updated 3 weeks ago
- A compiler from TIP to llvm bitcode☆69Updated 7 months ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆59Updated 10 years ago
- Website for CS 265☆29Updated 6 months ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆12Updated 2 months ago
- Libraries useful for Dafny programs☆45Updated 2 months ago