formal-verification topic
hacspec
Please see https://github.com/hacspec/hax
awesome-dv
Awesome ASIC design verification
silveroak
Formal specification and verification of hardware, especially for security and privacy.
xcrypto
XCrypto: a cryptographic ISE for RISC-V
high-assurance-legacy
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
certicoq
A Verified Compiler for Gallina, Written in Gallina
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
funding
Information about the Interchain Foundation Funding Program
Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
VeriSmart-public
a safety verifier for Solidity smart contracts