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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository is a place where you can submit your creations to be considered as Focus templates.☆13Jan 9, 2025Updated last year
- Quick offline Android voting app for Majority Judgment polls where the phone is shared amongst participants.☆24Updated this week
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- Docker files for Miasm☆17Apr 27, 2018Updated 7 years ago
- 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 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆25Aug 19, 2025Updated 7 months ago
- ☆15Dec 22, 2015Updated 10 years ago
- Official code for the paper "HEXA-MoE: Efficient and Heterogeneous-Aware MoE Acceleration with Zero Computation Redundancy"☆15Mar 6, 2025Updated last year
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 10 years ago
- Haskell module for K-D trees☆29Dec 4, 2017Updated 8 years ago
- A WIP Float32 soft FPU implementation☆22Jun 25, 2021Updated 4 years ago
- Get more sleep with Sleeper!☆15Mar 9, 2024Updated 2 years ago
- Telegram bot for assembling and disassembling on-the-go.☆21Sep 20, 2022Updated 3 years ago
- A Super Monkey Ball level converter☆14Jun 28, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Resource Allocation for Dynamic Demands☆22Dec 26, 2023Updated 2 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- Spoof WiFi Mac Address on iOS 14☆10Aug 31, 2021Updated 4 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
- Slack bot that indexes all messages sent in channels and can provide an interactive semantic search experience for users☆10Jan 1, 2023Updated 3 years ago
- Implementation and benchmark of lock-free Hopscotch Hashing☆11Oct 31, 2019Updated 6 years ago
- An SRT (SpeedRun Tool) for Resident Evil 3 (2020).☆20Apr 21, 2021Updated 4 years ago
- Deprecated! Library, CLI, and Discord bot for the unofficial ChatGPT API with progressive responses and more.☆11Dec 15, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Latex template for formatting the Yale GSAS dissertation☆21Jan 6, 2022Updated 4 years ago
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆25Jul 24, 2025Updated 8 months ago
- LLM Oracle is a GPT-4 powered tool for predicting future events. It's like a Magic 8 Ball that is able to perform basic research, calcula…☆17May 27, 2023Updated 2 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- A Twitch integration server software for OpenRCT2.☆11Feb 21, 2022Updated 4 years ago
- Medium Access Control layer of 802.15.4☆12Nov 14, 2014Updated 11 years ago
- RTLMeter benchmark suite☆31Mar 31, 2026Updated last week
- Sia GPU miner☆10Jul 20, 2016Updated 9 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Radia is a tool designed to create an interactive and immerse environment to visualize code, and to augment the task of reverse engineeri…☆25Aug 23, 2017Updated 8 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆74Mar 24, 2026Updated 2 weeks ago
- A Python library used to transfer files with QR codes. Input a file, get QR code images. Print, email, or otherwise share your codes. Re-…☆10Sep 15, 2019Updated 6 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆14Aug 22, 2019Updated 6 years ago
- Store the ATD/openapi/protobuf/... interfaces between semgrep components☆18Mar 31, 2026Updated last week
- msfinance offers Pythonic way to download market data from morningstar.com☆16Feb 15, 2025Updated last year
- Write slides in rustdoc and view them in Servo or any browser!☆30Sep 28, 2020Updated 5 years ago