Compcert repository of the Yale FLINT Group
☆11Jan 16, 2026Updated last month
Alternatives and similar repositories for compcert
Users that are interested in compcert are comparing it to the libraries listed below
Sorting:
- CompCertX features to be merged into CompCert☆10Jan 2, 2018Updated 8 years ago
- 🖨️ Printer: Productivity Focused Next.js CLI Tool☆11Nov 24, 2023Updated 2 years ago
- This repository contains my solutions for Introduction to Computing Systems - From Bits & Gates to C - C++ & Beyond by Yale Patt and Sanj…☆20Aug 19, 2025Updated 6 months ago
- PC based on 65816☆16Jul 9, 2022Updated 3 years ago
- 📱 Record iOS devices from command line☆15Jul 14, 2020Updated 5 years ago
- Magma community documentation and processes☆10May 3, 2024Updated last year
- Ansible playbooks for the Deploying Docker Compose Applications article.☆11Jan 24, 2023Updated 3 years ago
- Natively building Lua with any compiler on any platform☆10Feb 5, 2023Updated 3 years ago
- Module for finding eigenvalues and wavefunctions using spectral methods.☆11Aug 24, 2016Updated 9 years ago
- Radar IQ data processing using the GPU☆10Nov 12, 2025Updated 3 months ago
- A cellular automata program built with C++, OpenGL, CUDA and OpenMP.☆11Feb 20, 2023Updated 3 years ago
- JSON encoding / decoding for LiveCode only with livecode-script☆13Oct 19, 2025Updated 4 months ago
- Easy to set up stationeers server inside a docker container.☆10May 23, 2023Updated 2 years ago
- Mozaïk github widgets☆11Jul 30, 2018Updated 7 years ago
- Adapted OS for e-ink tablets - allows to use work-related apps with no harm for eyes☆11May 17, 2020Updated 5 years ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated 2 months ago
- ☆10Aug 16, 2016Updated 9 years ago
- Client-side package and programs for forwarding ADS-B data to FlightAware☆10Aug 29, 2015Updated 10 years ago
- GNU Development Kits for Windows (64-bit)☆13Dec 8, 2025Updated 2 months ago
- Header-only Linked List implementation in C☆14Dec 7, 2023Updated 2 years ago
- call an async function for each data event on a writable stream. manage concurrency as back pressure.☆12Dec 18, 2018Updated 7 years ago
- a portable code walker for Common Lisp by John Fremlin☆14May 19, 2016Updated 9 years ago
- mirror of Fabrice Bellard's libbf tar releases, with fixes and CI☆16Aug 19, 2025Updated 6 months ago
- 基于zopfli封装的PNG图片压缩库☆10Aug 28, 2016Updated 9 years ago
- Masters of the Heist. A cooperative game for the tabletop.☆10Nov 13, 2022Updated 3 years ago
- GNU M4 is an implementation of the traditional Unix macro processor.☆12Mar 3, 2017Updated 9 years ago
- small all-in-one library to program the GirlTech IM-Me☆19Dec 22, 2010Updated 15 years ago
- Z-height sensor board add-on for RepRapPro Ormerod 3D printer☆12Feb 9, 2026Updated 3 weeks ago
- Asciifies a matrix of pixels.☆12Feb 13, 2025Updated last year
- An exploratory look at Rust game engines using the Boids life program☆10Dec 23, 2021Updated 4 years ago
- Simple GraphQL, Apollo Backend w/ Webpack, ES6, ESLint, Hot-Reload, GraphQL Schema Language Template☆11Sep 22, 2017Updated 8 years ago
- ☆10Apr 5, 2019Updated 6 years ago
- 💻 Elevate, UAC bypass, privilege escalation, dll hijack techniques☆11Nov 23, 2018Updated 7 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆14Feb 13, 2026Updated 2 weeks ago
- ☆10Dec 7, 2022Updated 3 years ago
- Markdown+Pandoc+MarkdownPad2+Github 打造传世笔记模板 demo☆11Jun 30, 2014Updated 11 years ago
- A medium sized javafx game made from scratch☆13Dec 21, 2024Updated last year
- Subsonic desktop client for OSX☆11Feb 7, 2017Updated 9 years ago