There are 16 repositories under model-checking topic.
Automatic verification of LLVM optimizations
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
APALACHE: symbolic model checker for TLA+ and Quint
Links to tools by subject
TLA+ language support for Visual Studio Code
Concuerror is a stateless model checking tool for Erlang programs.
DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)
The Ultimate program analysis framework.
A Modern Probabilistic Model Checker
CoreIR Symbolic Analyzer
The LTSmin model checking toolset
Distributed termination detection on a ring, due to Shmuel Safra:
DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Experimental Smart Contracts In Plutus.
Utilities for the TLA+ ecoystem and model-based testing using TLA+.