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 2 years ago
- A translation validation framework for MLIR☆89Updated 8 months ago
- Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016☆32Updated 9 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆25Updated last year
- Program synthesis class taught by Loris D'Antoni☆36Updated last month
- Generic model checker for concurrent C programs (mirror repository)☆160Updated last week
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆145Updated 5 years ago
- Software Foundations☆144Updated last year
- A verification tool for many memory models☆104Updated this week
- Isabelle/HOL sources for the book "Functional Programming and Proof"☆18Updated 4 years ago
- An awesome list of e-graph resources☆259Updated last month
- Major CS conference publication stats (including accepted and submitted) by year.☆156Updated 2 months ago
- Website for CS 265☆31Updated 10 months ago
- VeriBetrKV OSDI'20 artifact☆12Updated 5 years ago
- ☆29Updated last year
- Online demo without installing at - https://buildit.so/tryit☆186Updated last week
- ChocoPy LLVM Repo☆77Updated 2 years ago
- Just save my record on github...☆26Updated 4 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
- Examples for TLAPS (TLA+ Proof System)☆14Updated 5 years ago
- ☆17Updated 7 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆93Updated 3 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆166Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- ☆234Updated last year
- Code examples for tutoring modern C++☆100Updated 4 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 9 months ago
- A compiler from TIP to llvm bitcode☆72Updated 11 months ago
- Most influential papers in programming languages☆57Updated 10 months ago