Fork of http://compcert.inria.fr/
☆22Oct 30, 2014Updated 11 years ago
Alternatives and similar repositories for compcert
Users that are interested in compcert are comparing it to the libraries listed below
Sorting:
- The dataset was used as a support to attack obfuscations. It is the largest obfuscated dataset, with realistic and various binaries and f…☆19Jan 15, 2026Updated last month
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- This contains the files needed to make the Digikeyboard module for a digispark (in arduino) to work emulating a keyboard in a systems BIO…☆13May 7, 2020Updated 5 years ago
- WIP: Python client for Liftbridge.☆10Jul 5, 2020Updated 5 years ago
- golang package to provide lightweight internal pub/sub for goroutines☆29Jan 23, 2014Updated 12 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- SoftwareFoundations(Ja)☆70Oct 5, 2019Updated 6 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Nov 22, 2018Updated 7 years ago
- Allows Easy Interoperation between Unity and Js in webgl builds☆12Apr 15, 2024Updated last year
- Temporary repository for Japanese☆11Apr 25, 2019Updated 6 years ago
- Post-Silicon Validation Tool based on REVERSI☆12Dec 10, 2025Updated 2 months ago
- Simple bloom filter☆12Feb 9, 2022Updated 4 years ago
- Sia GPU miner☆10Jul 20, 2016Updated 9 years ago
- goembed is a tool for embedding data in a Go program.☆12Jul 24, 2018Updated 7 years ago
- msfinance offers Pythonic way to download market data from morningstar.com☆16Feb 15, 2025Updated last year
- CVE-2023-40028 affects Ghost, an open source content management system, where versions prior to 5.59.1 allow authenticated users to uploa…☆13Jan 7, 2025Updated last year
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- RTLMeter benchmark suite☆29Jan 25, 2026Updated last month
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆21Jul 24, 2025Updated 7 months ago
- Docker files for Miasm☆17Apr 27, 2018Updated 7 years ago
- ☆11Mar 17, 2021Updated 4 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- A Super Monkey Ball level converter☆14Jun 28, 2020Updated 5 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- Generate REST Servers and Clients based on GRPC Service definitions☆12Nov 1, 2022Updated 3 years ago
- Repository with python scripts to gather data and control an E88 pro drone. It doesn't matter wich camera version you have, since it's al…☆12May 19, 2024Updated last year
- Benchmarking for distributed logs.☆10Dec 1, 2016Updated 9 years ago
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- Get more sleep with Sleeper!☆15Mar 9, 2024Updated last year
- The Redis protocol on top of LevelDB, written in Go (WIP)☆58Jan 4, 2014Updated 12 years ago
- A curated list of digitization fails with a focus on eGovernment in German language.☆12Feb 28, 2025Updated last year
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 5 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago