Skip to content
@stormchecker

Stormchecker

Storm Model Checker

Pinned Loading

  1. storm storm Public

    A Modern Probabilistic Model Checker

    C++ 174 87

  2. stormpy stormpy Public

    Python Bindings for the Probabilistic Model Checker Storm

    C++ 45 20

  3. stormvogel stormvogel Public

    Storm for almost everyone

    JavaScript 16 6

Repositories

Showing 10 of 17 repositories
  • storm-doc Public

    Storm documentation with Doxygen

    stormchecker/storm-doc's past year of commit activity
    HTML 0 1 0 0 Updated Oct 4, 2026
  • stormpy-wheels Public

    Python wheels for stormpy

    stormchecker/stormpy-wheels's past year of commit activity
    0 GPL-3.0 1 0 0 Updated Oct 4, 2026
  • storm-apt Public

    Debian/Ubuntu packages of Storm

    stormchecker/storm-apt's past year of commit activity
    1 GPL-3.0 1 0 0 Updated Oct 4, 2026
  • stormpy Public

    Python Bindings for the Probabilistic Model Checker Storm

    stormchecker/stormpy's past year of commit activity
    C++ 45 GPL-3.0 20 29 8 Updated Oct 3, 2026
  • storm Public

    A Modern Probabilistic Model Checker

    stormchecker/storm's past year of commit activity
    C++ 174 GPL-3.0 87 112 (7 issues need help) 35 Updated Oct 2, 2026
  • stormvogel-playground Public
    stormchecker/stormvogel-playground's past year of commit activity
    Python 1 GPL-3.0 1 0 2 Updated Oct 1, 2026
  • stormvogel Public

    Storm for almost everyone

    stormchecker/stormvogel's past year of commit activity
    JavaScript 16 GPL-3.0 6 31 1 Updated Oct 1, 2026
  • carl-storm Public

    The Computer ARithmetic and Logic library for the Storm model checker

    stormchecker/carl-storm's past year of commit activity
    C++ 5 5 3 4 Updated Sep 24, 2026
  • storm-project-starter-cpp Public template

    Starter project for the C++ API of Storm

    stormchecker/storm-project-starter-cpp's past year of commit activity
    CMake 3 GPL-3.0 7 0 0 Updated Sep 18, 2026
  • homebrew-stormchecker Public
    stormchecker/homebrew-stormchecker's past year of commit activity
    Ruby 1 3 0 0 Updated Sep 16, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…