formal-verification topic
gneiss
Framework for platform-independent SPARK components
libsparkcrypto
A cryptographic library in SPARK 2014
SXML
Formally verified, bounded-stack XML library
gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Moonad
Moonad: a p2p academic journal, or a social network for code?
pragmaticformalmodeling
An instructional website with progressively worked examples of TLA+ specifications and model checking.
rabia
Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
verker
Linux kernel library functions formally verified.
tezedge-specification
TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus