The P programming language.
HACL*, a formally verified cryptographic library written in F*
A static verifier for Rust, based on the Viper verification infrastructure.
CakeML: A Verified Implementation of ML
十分钟魔法练习
CreuSAT - A formally verified SAT solver written in Rust and verified wi...
A gently curated list of companies using verification formal methods in ...
A Fast and Safe Python based on PyPy
ACL2 System and Books as Maintained by the Community
My personal repository of formally verified mathematics.
An exhaustive list of all Rust resources regarding automated or semi-aut...
formally verified category theory library
Please see https://github.com/hacspec/hax
Scalable symbolic-numeric set computations in Julia
Awesome ASIC design verification