Skip to content
@stormchecker

Stormchecker

Storm Model Checker

Pinned Loading

  1. storm storm Public

    A Modern Probabilistic Model Checker

    C++ 177 88

  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 Public

    A Modern Probabilistic Model Checker

    stormchecker/storm's past year of commit activity
    C++ 177 GPL-3.0 88 116 (6 issues need help) 28 Updated Oct 16, 2026
  • storm-doc Public

    Storm documentation with Doxygen

    stormchecker/storm-doc's past year of commit activity
    HTML 0 1 0 0 Updated Oct 16, 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 30 8 Updated Oct 16, 2026
  • stormvogel Public

    Storm for almost everyone

    stormchecker/stormvogel's past year of commit activity
    JavaScript 16 GPL-3.0 6 33 1 Updated Oct 16, 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 16, 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 4 4 Updated Oct 15, 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 12, 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 Oct 10, 2026
  • docker-storm Public

    Dockerfiles related to Storm

    stormchecker/docker-storm's past year of commit activity
    Dockerfile 2 0 0 0 Updated Oct 9, 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
View all repositories

People

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

Most used topics

Loading…