formal-methods topic
stainless
Verification framework and tool for higher-order Scala programs
z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
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
vscode-tlaplus
TLA+ language support for Visual Studio Code
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
oak
Meaningful control of data in distributed systems.
high-assurance-legacy
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
miss_hit
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more