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:
- SSH agent library☆20May 26, 2022Updated 4 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
- Project to build and test seL4 for many different platforms☆18Updated this week
- C source MCDC instrumentation and coverage report generation tool☆12Dec 18, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Fixed point math library in C with 3d vectors and quaternions - formal verification is in process...☆13Jun 3, 2019Updated 7 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- Mirror repository, PRs are not watched, please use Xfce's GitLab☆20Updated this week
- so5extra is a collection of various SObjectizer's extensions. so5extra is built on top of SObjectizer and intended to simplify developmen…☆27Jul 29, 2026Updated 2 months ago
- An EasyMotion plugin for Qt Creator☆11Feb 1, 2016Updated 10 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Binary parser for Crystal☆21Mar 13, 2022Updated 4 years ago
- A digital revival of Monotype Modern No. 8A☆62Oct 8, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An itree-like data-structure to additionally support internal non-determinism☆23Updated this week
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 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
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- Per-target CPPCheck for CMake☆18May 30, 2016Updated 10 years ago
- WN8OS's Not a x86 Operating System: a tiny x64 operating system, for studying purpose.☆15Aug 2, 2015Updated 11 years ago
- ☆11Feb 27, 2026Updated 7 months 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.
- Experiments with integrating Emacs and Nushell!☆11Sep 15, 2021Updated 5 years ago
- A vim-emulator for jEdit 5☆15Apr 4, 2023Updated 3 years ago
- ☆13May 24, 2019Updated 7 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Lemote PMON2000 boot loader.☆19Oct 18, 2013Updated 13 years ago
- A gem that makes it easy to serialize your objects to json and back. Without this, you'll have to add your own to_json and json_create me…☆16Mar 29, 2012Updated 14 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 8 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆19Oct 9, 2026Updated last week
- A project repo to create and learn AUTOSAR stack☆19Dec 18, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of useful tips/tricks/hints for Isabelle users.☆17May 2, 2024Updated 2 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆22Nov 26, 2022Updated 3 years ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 5 years ago
- This package provides a simple way to style keyboard shortcuts in your documentation.☆17Jul 26, 2026Updated 2 months ago
- Plugin for Qt Creator that helps with visual detecting code test coverage☆25Aug 2, 2013Updated 13 years ago