formal-methods topic
creusot
Creusot helps you prove your code is correct in an automated fashion.
CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
TSNsched
Automated Schedule Generation for Time-Sensitive Networks (TSN).
tool_lists
Links to tools by subject
sled
the champagne of beta embedded databases
sqa-wiki
My own notes (drafts mostly) about software quality
acl2
ACL2 System and Books as Maintained by the Community
practical-fm
A gently curated list of companies using verification formal methods in industry
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
VST
Verified Software Toolchain