Sources for the ANSI/ISO C Specification Language manual
☆74Sep 9, 2026Updated last month
Alternatives and similar repositories for acsl
Users that are interested in acsl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Release snapshots of the Frama-C platform for source code analysis☆190Oct 21, 2020Updated 6 years ago
- Public snapshots of "ACSL by Example"☆128Sep 5, 2026Updated last month
- Frama-C and WP tutorial☆83Sep 21, 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).☆28May 15, 2024Updated 2 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆35Oct 29, 2020Updated 6 years ago
- 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.
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆16Feb 3, 2023Updated 3 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 8 years ago
- Github Action for running the Eva plug-in and producing a SARIF report☆11Oct 20, 2021Updated 5 years ago
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- Linux kernel library functions formally verified.☆66Sep 21, 2026Updated last month
- 6502 chip simulator in OCaml☆13Apr 30, 2026Updated 6 months ago
- A tutorial for learning the seL4 Microkit☆13Sep 21, 2026Updated last month
- a RTE-free X.509 parser☆64Oct 24, 2022Updated 4 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Oct 28, 2020Updated 6 years ago
- 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.
- Proposition for modernizing the OCaml API from the official manual☆10Apr 1, 2023Updated 3 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆524Updated this week
- Experimental benchmarking infrastructure using OCurrent pipelines☆30Oct 13, 2026Updated 2 weeks ago
- Streamlining the release of dune packages to opam☆121Updated this week
- A 2d geometry library for ocaml☆36Dec 23, 2022Updated 3 years ago
- Streamlined and natural concurrency model for OCaml☆50Oct 17, 2026Updated 2 weeks ago
- Hexadecimal converter☆30May 31, 2025Updated last year
- mirror of https://git.robur.coop/robur/mirage-monitoring☆13Sep 30, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An Opinionated Formatter for Verus☆22Updated this week
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- A simple diff algorithm in pure OCaml☆15Jul 10, 2020Updated 6 years ago
- Nix tooling for the seL4 microkernel & ecosystem☆21Aug 7, 2026Updated 2 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆114Oct 23, 2026Updated last week
- SPARK 2014 repository for the Why3 verification platform.☆40Oct 20, 2026Updated last week
- ☆25Oct 24, 2026Updated last week
- generative programming & verification☆34Jul 18, 2026Updated 3 months ago
- The BToolkit, a toolkit supporting software development with the B-method.☆41Apr 19, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OCamlPro public development repository for Alt-Ergo☆149Updated this week
- compiler libraries repackaged☆21Jan 4, 2024Updated 2 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- Edit document as other format, in Emacs, using Pandoc☆16Feb 21, 2022Updated 4 years ago
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- Component Architecture test suite and example apps.☆36Jul 22, 2026Updated 3 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆48Sep 25, 2026Updated last month