Compositional CompCert
☆14Jan 9, 2019Updated 7 years ago
Alternatives and similar repositories for compcomp
Users that are interested in compcomp are comparing it to the libraries listed below
Sorting:
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 6 years ago
- Bedrock Bit Vector Library☆28Oct 28, 2025Updated 4 months ago
- ☆25Jan 10, 2020Updated 6 years ago
- ☆28Nov 20, 2025Updated 3 months ago
- Coq library for verified low-level programming☆62Jun 15, 2017Updated 8 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- The formal proof of the Odd Order Theorem☆37Feb 18, 2026Updated last week
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated last year
- A Framework for Modeling and Analyzing Network Configurations☆35Feb 20, 2023Updated 3 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆33Feb 16, 2026Updated 2 weeks ago
- Verified Software Toolchain☆489Updated this week
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- Boost.org logic module☆12Dec 10, 2025Updated 2 months ago
- Coq library for tactics, basic definitions, sets, maps☆51Feb 13, 2026Updated 2 weeks ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆15Jun 24, 2021Updated 4 years ago
- PID control library for Particle, adapted from br3ttb/Arduino-PID-Library☆11Feb 15, 2024Updated 2 years ago
- ☆13Apr 28, 2025Updated 10 months ago
- A declarative and ergonomic internationalization for Rust using Fluent. Mirror of https://gitlab.archlinux.org/orhun/fluent-i18n☆19Sep 29, 2025Updated 5 months ago
- `async-ctrlc` is an async wrapper of the `ctrlc` crate in Rust☆15May 30, 2020Updated 5 years ago
- Unreal Engine simulator for our self driving car training☆11Nov 18, 2021Updated 4 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- A source-based Linux distribution with an unwavering adherence to the UNIX philosophy☆10Oct 28, 2022Updated 3 years ago
- GUI for SymbiYosys☆17Oct 13, 2025Updated 4 months ago
- BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.☆12Mar 17, 2015Updated 10 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- 9P kernel modules☆10Aug 25, 2014Updated 11 years ago
- ☆13Feb 13, 2026Updated 2 weeks ago
- A simple C wrapper library, for generating PostScript files.☆11Oct 24, 2020Updated 5 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- libudev-compatible interface for devd☆15Nov 18, 2024Updated last year
- Slides about the Rust in the blockchain industry☆10Dec 7, 2022Updated 3 years ago
- Stripped down versions of several archlinux packages, former name llvm-libs-debloated. [Maintainer=@Samueru-sama]☆14Feb 23, 2026Updated last week
- Native Linux KVM tool☆12Feb 4, 2026Updated 3 weeks ago
- Add global illumination to rio☆10Nov 14, 2024Updated last year
- guarded interaction trees☆11Jul 4, 2025Updated 7 months ago
- RISC-V RV32I CPU written in verilog☆10Jul 11, 2020Updated 5 years ago
- Show Window Stations, Desktops and top level windows☆17Jun 10, 2023Updated 2 years ago