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
- ☆13Updated 9 months ago
- Interactive Theorem Proving course using HOL4☆11Updated 2 years ago
- ☆15Updated last year
- PL conference deadline countdowns☆62Updated last month
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 3 months ago
- Program Synthesis Course☆264Updated last year
- ☆233Updated last year
- ☆23Updated 5 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆41Updated last year
- Student-run wiki for students interested in computer science at Cornell University☆97Updated last year
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated 10 months ago
- Python bindings for the Coq interactive proof assistant☆56Updated 3 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated last year
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆62Updated 6 years ago
- Logical relation for predicative CC omega with booleans and an intensional identity type☆13Updated 5 months ago
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago
- A Lustre compiler in Coq☆71Updated 4 months ago
- Type-and-example-driven program synthesis for functional programming languages☆26Updated 6 years ago
- ☆23Updated 2 weeks ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆68Updated last year
- ☆12Updated 8 months ago
- Lecture material for DeepSpec Summer School 2017☆89Updated 4 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆22Updated 5 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆49Updated 3 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago