Cerberus C semantics
☆104Oct 30, 2026Updated last week
Alternatives and similar repositories for cerberus
Users that are interested in cerberus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- CN separation logic refinement type system for C☆63Updated this week
- ☆17Updated this week
- A fork of Cerberus C adding a Lean 4 port of the semantics☆16Updated this week
- The Steel separation logic library for F*☆40Jun 8, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- OCaml bindings for batsat (https://github.com/c-cube/batsat)☆12Mar 23, 2022Updated 4 years ago
- Deprecated Bedrock Bit Vector Library. Example replacement:☆30Aug 2, 2026Updated 3 months ago
- ☆15May 28, 2025Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆64Updated this week
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- Library for structural temporal logic proofs over coinductive, free monads with effects and choice.☆11Updated this week
- The C4 Concurrent C Fuzzer☆15Nov 2, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- For Jar artifacts☆20Nov 8, 2025Updated 11 months ago
- Gallina to Bedrock2 compilation toolkit☆72Sep 24, 2026Updated last month
- The main codex repository☆27Feb 3, 2026Updated 9 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆157Updated this week
- Communication between Coq and SAT/SMT solvers☆170Oct 29, 2026Updated last week
- Coq library for verified low-level programming☆65Jun 15, 2017Updated 9 years ago
- A modular Lustre to C / Horn clauses compiler☆22Nov 17, 2018Updated 7 years ago
- A work-in-progress language and compiler for verified low-level programming☆342Oct 23, 2026Updated 2 weeks ago
- GADT-based field accessors and utilities☆17Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆136Updated this week
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆249Aug 31, 2026Updated 2 months ago
- Separation Logic Proofs in Lean☆57Jan 28, 2026Updated 9 months ago
- A tool-agnostic formal specification language for OCaml.☆167Oct 23, 2026Updated 2 weeks ago
- ☆58Oct 15, 2026Updated 3 weeks ago
- Formalization of C++ for verification purposes.☆111Updated this week
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- A simple websocket library for OCaml with no dependencies☆16Apr 8, 2024Updated 2 years ago
- The Gillian Platform main repository☆104Oct 25, 2026Updated last week
- 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.
- Some useful libraries to work with `js_of_ocaml`☆13Sep 20, 2024Updated 2 years ago
- Formal Semantics for Why3☆21Jul 15, 2026Updated 3 months ago
- Library of useful utility functions for Coq plugins☆13Jul 17, 2024Updated 2 years ago
- An automated deductive program verifier based on concurrent separation logic☆35Updated this week
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆76Updated this week
- pad's fork of tiger for c--☆11Sep 9, 2026Updated last month