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:
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- ☆27Updated 3 years ago
- A work-in-progress language and compiler for verified low-level programming☆311Updated this week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆185Updated last week
- Symbolic execution tool for Sail ISA specifications☆78Updated last month
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆215Updated last month
- OxCaml Parallelism☆31Updated 2 months ago
- Cerberus C semantics☆67Updated 2 weeks ago
- RISC-V Specification in Coq☆116Updated last month
- Solutions to OCaml Programming☆88Updated 3 weeks ago
- Software Foundations☆141Updated last year
- Visual Studio Code extension for Coq☆406Updated 3 weeks ago
- Definition of the Viper intermediate verification language.☆87Updated this week
- Coq code formatter☆24Updated 2 weeks ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆128Updated 3 months ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆12Updated 2 years ago
- OCamlPro public development repository for Alt-Ergo☆139Updated 2 weeks ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆56Updated last month
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- ☆37Updated 3 years ago
- ☆29Updated 2 weeks ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆248Updated 7 months ago
- A Lean library for Computer Science☆99Updated this week
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆68Updated last year
- A minimal development of SSA theory☆164Updated this week
- ☆39Updated this week
- Lock-free data structures for multicore OCaml☆253Updated 3 months ago