Frama-C / Frama-C-snapshotView external linksLinks
Release snapshots of the Frama-C platform for source code analysis
☆184Oct 21, 2020Updated 5 years ago
Alternatives and similar repositories for Frama-C-snapshot
Users that are interested in Frama-C-snapshot are comparing it to the libraries listed below
Sorting:
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- Sources for the ANSI/ISO C Specification Language manual☆65Oct 29, 2025Updated 3 months ago
- Public snapshots of "ACSL by Example"☆121Jan 31, 2026Updated 2 weeks ago
- Frama-C and WP tutorial☆69Jan 7, 2026Updated last month
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Linux kernel library functions formally verified.☆52Jan 11, 2026Updated last month
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆15Feb 3, 2023Updated 3 years ago
- Easy Cmdliner☆13Jan 12, 2026Updated last month
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- SPARK 2014 repository for the Why3 verification platform.☆35Feb 10, 2026Updated last week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆493Updated this week
- Research prototype tool for modular formal verification of C, Rust and Java programs☆473Feb 11, 2026Updated last week
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated 4 months ago
- Internationalisation library for Web applications (server and/or client)☆13Dec 9, 2025Updated 2 months ago
- The CompCert formally-verified C compiler☆2,111Updated this week
- a RTE-free X.509 parser☆64Oct 24, 2022Updated 3 years ago
- OCamlPro public development repository for Alt-Ergo☆141Feb 5, 2026Updated last week
- Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).☆26May 15, 2024Updated last year
- C Bounded Model Checker☆1,014Feb 10, 2026Updated last week
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆705Nov 25, 2025Updated 2 months ago
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Updated this week
- Isabelle LLVM Code Generator and Refinement☆29Nov 10, 2025Updated 3 months ago
- 6502 chip simulator in OCaml☆13Mar 14, 2024Updated last year
- OCaml bindings for AWS APIs, built on eio☆18Oct 12, 2025Updated 4 months ago
- 🌳 Generate a fresh bonsai in your terminal☆30Oct 4, 2021Updated 4 years ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Updated this week
- C Intermediate Language☆393Sep 14, 2023Updated 2 years ago
- Binding to the Docker Remote API☆28May 31, 2022Updated 3 years ago
- OCaml ctypes bindings to llama.cpp☆15Jan 23, 2024Updated 2 years ago
- CI in tty☆14Jun 26, 2023Updated 2 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Semantic version handling for OCaml☆17Apr 15, 2021Updated 4 years ago
- Memtrace library for MirageOS☆17Feb 17, 2025Updated last year
- ☆16Feb 20, 2019Updated 6 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago