formal-verification topic
proofs
My personal repository of formally verified mathematics.
awesome-provable
A curated set of links to formal methods involving provable code.
hacl-star
HACL*, a formally verified cryptographic library written in F*
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
idris-ct
formally verified category theory library
Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
cakeml
CakeML: A Verified Implementation of ML
mesapy
A Fast and Safe Python based on PyPy
awesome-open-hardware-verification
A List of Free and Open Source Hardware Verification Tools and Frameworks