Storm
A Modern Probabilistic Model Checker
Translation pending
Developer toolsC++ · CMakeGitHub @stormcheckerOnlineOwner unconfirmed
Have you tried it? One tap is enough. No sign-in needed.
- Availability
- Online
- 30-day uptime 100%
- Latest code update
- Oct 26
- Active repository
- Contributors
- 44
- Forks 89
- License
- GitHub auto-detection
- Listed on nomorevibe
- Oct 12
- Repository created October 2016
Languages
- C++ 98.7%
- CMake 0.6%
- Raku 0.4%
- Shell and others 0.3%
Updates1 in the last 30 days
AllTrending in Developer tools
GitHub star growth between the latest completed 8-hour observations
x18n
x18n reads the locale files of any project, finds where each key is used, and reports missing, unused and broken keys. A CLI, a language server, a VS Code extension, a UI and MCP tools share one engin
api-anything
Turn any website into an API your agent can call. Learns from the site's own frontend, heals itself when the site changes.
TraceRoot
TraceRoot is an open-source, agent-native improvement layer for AI agents. Bring production traces, detector signals, and evals into your coding workflow.
Agenvoy
Taiwan-built, self-hosted AI agent harness in a single Go binary — writes its own tools, sandbox-tests them, and shares them over MCP with Claude Code and Codex.