Compcert repository of the Yale FLINT Group
☆12Mar 10, 2026Updated 7 months 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:
- CompCertX features to be merged into CompCert☆10Jan 2, 2018Updated 8 years ago
- Access hint databases from tactics.☆12Apr 22, 2020Updated 6 years ago
- 基于zopfli封装的PNG图片压缩库☆10Aug 28, 2016Updated 10 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆34Sep 23, 2026Updated last month
- ☆13Apr 13, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The CompCert formally-verified C compiler☆12Oct 23, 2026Updated last week
- Rosi: a row-typed functional programming language, based on the Rose family of calculi☆16Updated this week
- Free LLM token counter: see how GPT-4 and GPT-4o split your prompt into tokens, which lines cost the most, and which wordy phrases to cut…☆11Oct 23, 2026Updated last week
- Code snippets for UI programming blog http://www.joona.net☆14Jun 26, 2020Updated 6 years ago
- This is a fork of obnc-0.17.2 by Karl Landström, hosted at http://miasap.se/obnc/.☆10Jun 20, 2024Updated 2 years ago
- Easy resizing of emacs windows.☆16Oct 29, 2018Updated 8 years ago
- 大约从2013年开始，我才明白，一个人真正想要得到的技能必须要自己来教。所有的课程或者大牛的告戒都是参考。直到你开始想怎么才能教会教好自己时，那就进入正道了。☆13Sep 24, 2019Updated 7 years ago
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months ago
- Forward SMS messages received from CDMA modules to Telegram☆12Apr 2, 2019Updated 7 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.
- Experiments with integrating Emacs and Nushell!☆11Sep 15, 2021Updated 5 years ago
- 将ttf字体或者svg字体，转换为PNG的小工具☆11Jul 4, 2016Updated 10 years ago
- A markdown tools which can convert markdown file to both HTML and PDF.☆11Apr 13, 2015Updated 11 years ago
- The Iowa Agda Library☆56Aug 29, 2026Updated 2 months ago
- ☆12Mar 26, 2023Updated 3 years ago
- A production-ready Ada 2022 library providing functional programming abstractions for type-safe computation.☆15Jun 8, 2026Updated 4 months ago
- Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce.☆13Jun 14, 2019Updated 7 years ago
- ☆13May 24, 2019Updated 7 years ago
- Make some gooey effects component by QML Canvas.☆16Dec 4, 2015Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆12Nov 22, 2022Updated 3 years ago
- This package provides a simple way to style keyboard shortcuts in your documentation.☆17Jul 26, 2026Updated 3 months ago
- An integrated context-aware scanner and parser generator☆24Sep 5, 2026Updated last month
- Python cli and package interface for local and remote plantuml☆14Jun 26, 2025Updated last year
- ☆12Aug 3, 2023Updated 3 years ago
- ☆13Oct 23, 2022Updated 4 years ago
- Configure SPI flash write protection.☆26May 11, 2020Updated 6 years ago
- This repository contains the core and extended source files of the standard library of the SaC programming language.☆19Sep 11, 2026Updated last month
- Block-based WYSIWYG prototype for Typst documents — no code required.☆18Sep 29, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆20May 23, 2026Updated 5 months ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- QtQuick 开发安卓的模板项目☆19Sep 5, 2015Updated 11 years ago
- High performance simple persistent queue library with command line utils☆12Nov 21, 2017Updated 8 years ago
- Converter from Minecraft: PE LevelDB worlds to Minecraft Anvil worlds☆11May 25, 2017Updated 9 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 5 years ago
- ☆12Feb 20, 2026Updated 8 months ago