Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)
☆12Jun 17, 2019Updated 7 years ago
Alternatives and similar repositories for fv-libc
Users that are interested in fv-libc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- SSH agent library☆20May 26, 2022Updated 4 years ago
- rust ssh agent library☆18Dec 4, 2017Updated 8 years ago
- Floating-point SMTLIB benchmarks☆10Jul 17, 2026Updated 3 months ago
- Example init scripts for Rootless Podman and Wireguard☆19Feb 16, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Crystal bindings to D-Bus☆13May 26, 2021Updated 5 years ago
- Simple IRB-over DRb for poking inside your servers☆12Jun 27, 2012Updated 14 years ago
- Fixed point math library in C with 3d vectors and quaternions - formal verification is in process...☆13Jun 3, 2019Updated 7 years ago
- C source MCDC instrumentation and coverage report generation tool☆12Dec 18, 2023Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated 2 years ago
- Color schemes generator based on machine learning☆12Apr 19, 2015Updated 11 years ago
- Mirror repository, PRs are not watched, please use Xfce's GitLab☆20Nov 1, 2026Updated last week
- Project to build and test seL4 for many different platforms☆19Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Dimensional analysis for the C programming language☆11Sep 24, 2025Updated last year
- Colors clustering based on K-means algorithm & CIE76☆12Aug 17, 2014Updated 12 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Realizes to write macros in any scripts into any languages.☆23Mar 20, 2017Updated 9 years ago
- WN8OS's Not a x86 Operating System: a tiny x64 operating system, for studying purpose.☆15Aug 2, 2015Updated 11 years ago
- 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 2 weeks ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 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
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An EasyMotion plugin for Qt Creator☆11Feb 1, 2016Updated 10 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Per-target CPPCheck for CMake☆18May 30, 2016Updated 10 years ago
- Binary parser for Crystal☆21Mar 13, 2022Updated 4 years ago
- ☆11Feb 27, 2026Updated 8 months ago
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- A small C++17 library inspired by Category Theory.☆17Jan 4, 2023Updated 3 years ago
- so5extra is a collection of various SObjectizer's extensions. so5extra is built on top of SObjectizer and intended to simplify developmen…☆27Jul 29, 2026Updated 3 months ago
- ☆12Jul 11, 2026Updated 3 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Experiments with integrating Emacs and Nushell!☆11Sep 15, 2021Updated 5 years ago
- A path to Programming Language Theory enlightenment☆14Apr 13, 2016Updated 10 years ago
- Lemote PMON2000 boot loader.☆20Oct 18, 2013Updated 13 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- ☆13May 24, 2019Updated 7 years ago
- A vim-emulator for jEdit 5☆15Apr 4, 2023Updated 3 years ago
- High performance C++ computing examples developed for resources available from the Texas Advanced Computing Center at the University of T…☆13Sep 17, 2018Updated 8 years ago