cmugpi / gpi-labsLinks
07-131 lab distribution
☆16Updated 7 months ago
Alternatives and similar repositories for gpi-labs
Users that are interested in gpi-labs are comparing it to the libraries listed below
Sorting:
- Women in Programming Languages and Software Engineering Research☆172Updated 6 months ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated 10 months ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 3 weeks ago
- Programming languages☆38Updated 3 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 4 months ago
- PL conference deadline countdowns☆60Updated this week
- ☆56Updated 2 months ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- Interactive Theorem Proving course using HOL4☆11Updated 2 years ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆13Updated 2 months ago
- A Lustre compiler in Coq☆70Updated 2 weeks ago
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆51Updated 3 years ago
- Program Synthesis☆15Updated 4 years ago
- The WIP book for CPSC 411☆64Updated last month
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- An interactive theorem prover based on lambda-tree syntax☆95Updated last month
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆59Updated 9 months ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- Course on Metaprogramming☆63Updated last week
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated this week
- The Ynot Project source code.☆22Updated 11 years ago
- ☆15Updated 4 years ago
- An automated deductive program verifier based on concurrent separation logic☆18Updated 2 weeks ago
- ☆42Updated 5 months ago
- Implementation of the Delta Language☆8Updated last year
- A basic library of algorithms and data structures (a la NJlib)☆74Updated 2 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆56Updated 5 years ago