Deductive verification infrastructure for probabilistic programs
☆30Oct 19, 2026Updated last week
Alternatives and similar repositories for caesar
Users that are interested in caesar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A new take on facet-reflect☆14Updated this week
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆45Updated this week
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 6 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- Co-inductive datatypes for Lean☆18Updated this week
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆13Feb 7, 2025Updated last year
- AWS Cryptographic Material Providers Library☆18Updated this week
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆22Updated this week
- DyLean, a framework for the symbolic analysis of cryptographic protocols☆24Oct 15, 2026Updated 2 weeks ago
- Auto formalization of the CLRS text book☆40Oct 22, 2026Updated last week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆47Apr 7, 2026Updated 6 months ago
- A Modern Probabilistic Model Checker☆177Updated this week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- A memory allocator verified with Verus☆41Updated this week
- Frama-C plugins for deadlock and data race detection☆15Updated this week
- ☆24Oct 6, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 5 months ago
- TLA embedding in Verus☆34Updated this week
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆46Apr 2, 2020Updated 6 years ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆87Dec 10, 2025Updated 10 months ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆117Sep 19, 2026Updated last month
- ☆20Sep 16, 2026Updated last month
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆89Mar 15, 2025Updated last year
- ☆22Jan 31, 2026Updated 9 months ago
- A language for symbolic transitions system, inspired by Ivy.☆76Mar 19, 2026Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆58Oct 3, 2026Updated 3 weeks ago
- This is the repository for the course "Formalizing Analysis of Algorithms", Autumn 2025.☆18Jan 3, 2026Updated 9 months ago
- A tool for synthesis of Rust code, very early prototype☆13Jan 9, 2024Updated 2 years ago
- Vermilion: Verus meets Lean☆62Updated this week
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 6 years ago