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☆28Updated last year
- A compiler from TIP to llvm bitcode☆72Updated last year
- A verification tool for many memory models☆110Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆190Updated 2 months ago
- A translation validation framework for MLIR☆92Updated 10 months ago
- Most influential papers in programming languages☆58Updated last year
- ☆33Updated 3 years ago
- ☆30Updated last year
- Examples for TLAPS (TLA+ Proof System)☆16Updated 5 years ago
- NOELLE Offers Empowering LLVM Extensions☆83Updated 6 months ago
- An awesome list of e-graph resources☆291Updated last month
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆150Updated 5 years ago
- Program synthesis class taught by Loris D'Antoni☆40Updated 4 months ago
- Main repository for Harvard CS260r 2017.☆12Updated 8 years ago
- Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code☆84Updated this week
- Apron Numerical Abstract Domain Library☆144Updated 10 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last year
- Duet: static analysis for unbounded concurrency☆29Updated this week
- Isabelle/HOL sources for the book "Functional Programming and Proof"☆18Updated 4 years ago
- Public-facing course info for program analysis materials.☆43Updated 2 months ago
- Static program analysis for TIP☆308Updated 9 months ago
- VeriBetrKV OSDI'20 artifact☆13Updated 5 years ago
- A program synthesis framework for verified lifting applications☆61Updated 8 months ago
- Website for CS 265☆33Updated last year
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated last year
- Efficient techniques for mining LTL formulae over linear input traces☆18Updated 2 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆19Updated 3 years ago
- Pono: A flexible and extensible SMT-based model checker☆117Updated this week
- TensorRight: Automated Verification of Tensor Graph Rewrites☆18Updated 3 months ago