cmugpi / gpi-labsLinks
07-131 lab distribution
☆16Updated last week
Alternatives and similar repositories for gpi-labs
Users that are interested in gpi-labs are comparing it to the libraries listed below
Sorting:
- CS 704 course website - Principles of Programming Languages☆69Updated 2 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 2 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Updated 6 years ago
- An automated deductive program verifier based on concurrent separation logic☆20Updated last month
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated last year
- Python bindings for the Coq interactive proof assistant☆56Updated 3 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆13Updated 5 months ago
- A Lustre compiler in Coq☆71Updated 3 months ago
- ☆13Updated 8 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- Program Synthesis Course☆262Updated last year
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆52Updated last year
- Programming languages☆38Updated 6 months ago
- ☆24Updated 3 weeks ago
- ☆15Updated last year
- Python client for coq-lsp☆39Updated 2 months ago
- ☆43Updated 2 months ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Women in Programming Languages and Software Engineering Research☆173Updated 9 months ago
- Course on Metaprogramming☆73Updated 2 months ago
- PL conference deadline countdowns☆62Updated 3 weeks ago
- ☆27Updated last year
- Program Synthesis☆15Updated 4 years ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Updated 7 years ago
- A style guide for Coq☆18Updated 3 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆38Updated 2 weeks 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
- Libraries useful for Dafny programs☆45Updated last month