anwarmamat / cmsc330fall21Links
☆18Updated 3 years ago
Alternatives and similar repositories for cmsc330fall21
Users that are interested in cmsc330fall21 are comparing it to the libraries listed below
Sorting:
- A work-in-progress language and compiler for verified low-level programming☆321Updated this week
- OxCaml Parallelism☆35Updated 3 weeks ago
- ☆27Updated 3 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- Chickadee OS for Harvard CS 161☆101Updated 10 months ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 3 weeks ago
- Simple C Compiler in OCaml☆95Updated 7 years ago
- Solutions to OCaml Programming☆91Updated 2 months ago
- Cerberus C semantics☆77Updated last week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆114Updated last week
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Updated 2 years ago
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆104Updated 3 weeks ago
- ☆41Updated 3 years ago
- Software Foundations☆149Updated last year
- Definition of the Viper intermediate verification language.☆92Updated this week
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆151Updated last year
- ☆12Updated last year
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆224Updated 2 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- UCLID5: formal modeling, verification, and synthesis of computational systems☆152Updated 5 months ago
- ☆58Updated last year
- An SMT solver frontend for OCaml☆57Updated this week
- Opam repository for the development version of Jane Street packages☆132Updated last month
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆193Updated 2 weeks ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 10 months ago
- A language server for Standard ML in Rust.☆233Updated last week
- A Verified Compiler for Gallina, Written in Gallina☆158Updated last week
- A Library for Representing Recursive and Impure Programs in Coq☆238Updated last month
- RISC-V Specification in Coq☆116Updated 2 months ago