the champagne of beta embedded databases
The P programming language.
My own notes (drafts mostly) about software quality
Lean 3's obsolete mathematical components library: please use mathlib4
HACL*, a formally verified cryptographic library written in F*
Meaningful control of data in distributed systems.
CreuSAT - A formally verified SAT solver written in Rust and verified wi...
A gently curated list of companies using verification formal methods in ...
Links to tools by subject
Verification framework and tool for higher-order Scala programs
ACL2 System and Books as Maintained by the Community
TLA+ language support for Visual Studio Code
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a p...
Jupyter notebooks for tutorial on the Z3 SMT solver
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter ...