anwarmamat / cmsc330fall21
☆18Updated 3 years ago
Alternatives and similar repositories for cmsc330fall21:
Users that are interested in cmsc330fall21 are comparing it to the libraries listed below
- ☆27Updated 2 years ago
- a community for students at the university of maryland☆41Updated 8 months ago
- Definition of the Viper intermediate verification language.☆81Updated this week
- Reference compiler for c0☆30Updated 6 months ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆28Updated last year
- Armv8 Native Code Symbolic Simulator in Lean☆72Updated 2 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 6 months ago
- A work-in-progress language and compiler for verified low-level programming☆302Updated this week
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last week
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆50Updated 6 months ago
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Updated 3 years ago
- Cerberus C semantics☆61Updated this week
- ☆30Updated last year
- The LLVM tutorial using OCaml☆27Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆57Updated 10 months ago
- library learning w egraphs☆17Updated last year
- embedding MLIR in LEAN☆47Updated 7 months ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆26Updated this week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆191Updated this week
- Course notes for CMSC 131: Object Oriented Programming I☆27Updated last year
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆33Updated this week
- class repo for cs140e, stanford winter quarter 2022☆51Updated 2 years ago
- The Flambda backend project for OCaml☆124Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆117Updated 6 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated 2 months ago
- VSCode IDE Integration for Dafny☆27Updated last week
- Coq library for verified low-level programming☆57Updated 7 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- A stepping debugger for Standard ML (SML)☆24Updated 11 months ago