Sources for the ANSI/ISO C Specification Language manual
☆66Oct 29, 2025Updated 4 months ago
Alternatives and similar repositories for acsl
Users that are interested in acsl are comparing it to the libraries listed below
Sorting:
- Public snapshots of "ACSL by Example"☆122Jan 31, 2026Updated last month
- Release snapshots of the Frama-C platform for source code analysis☆185Oct 21, 2020Updated 5 years ago
- Frama-C and WP tutorial☆70Jan 7, 2026Updated last month
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 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
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆34Feb 3, 2026Updated last month
- 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
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆43Mar 27, 2025Updated 11 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- ☆11May 14, 2023Updated 2 years ago
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated 5 months ago
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆38Feb 23, 2026Updated last week
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆496Feb 18, 2026Updated last week
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated last month
- A safer FFI interface for OCaml☆11Jul 20, 2024Updated last year
- Nix tooling for the seL4 microkernel & ecosystem☆14Dec 12, 2025Updated 2 months ago
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆90Updated this week
- Experimental benchmarking infrastructure using OCurrent pipelines☆33Feb 28, 2025Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Feb 19, 2026Updated last week
- 6502 chip simulator in OCaml☆13Mar 14, 2024Updated last year
- The opentheory tool processes higher order logic theory packages☆16Mar 21, 2023Updated 2 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Jun 13, 2021Updated 4 years ago
- Small example MirageOS unikernels.☆15Jun 14, 2019Updated 6 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- z3-powered solver (theorem prover) for deal☆13Sep 28, 2023Updated 2 years ago
- List of bindings in OCaml to cordova plugins.☆26Oct 21, 2016Updated 9 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆30Jun 13, 2024Updated last year
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Oct 28, 2020Updated 5 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated 5 months ago
- OCaml bindings for clang☆23May 1, 2018Updated 7 years ago
- Easy Cmdliner☆13Jan 12, 2026Updated last month
- An itree-like data-structure to additionally support internal non-determinism☆20Nov 25, 2025Updated 3 months ago
- The BToolkit, a toolkit supporting software development with the B-method.☆38Apr 19, 2024Updated last year
- CI in tty☆14Jun 26, 2023Updated 2 years ago