Skip to content
@stormchecker

Stormchecker

Storm Model Checker

Pinned Loading

  1. storm storm Public

    A Modern Probabilistic Model Checker

    C++ 177 89

  2. stormpy stormpy Public

    Python Bindings for the Probabilistic Model Checker Storm

    Python 47 21

  3. stormvogel stormvogel Public

    Storm for almost everyone

    JavaScript 15 6

Repositories

Showing 10 of 17 repositories
  • stormpy-wheels Public

    Python wheels for stormpy

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

    Jupyter notebooks for Storm(py)

    stormchecker/stormpyter's past year of commit activity
    Jupyter Notebook 1 GPL-3.0 3 2 1 Updated Nov 4, 2026
  • stormpy Public

    Python Bindings for the Probabilistic Model Checker Storm

    stormchecker/stormpy's past year of commit activity
    Python 47 GPL-3.0 21 29 7 Updated Nov 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 Nov 4, 2026
  • storm Public

    A Modern Probabilistic Model Checker

    stormchecker/storm's past year of commit activity
    C++ 177 GPL-3.0 89 121 (6 issues need help) 29 Updated Nov 4, 2026
  • storm-doc Public

    Storm documentation with Doxygen

    stormchecker/storm-doc's past year of commit activity
    HTML 0 1 0 0 Updated Nov 3, 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 2 Updated Nov 2, 2026
  • ci-workflows Public

    Shared CI workflows

    stormchecker/ci-workflows's past year of commit activity
    0 GPL-3.0 0 0 0 Updated Nov 2, 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 1 Updated Oct 30, 2026
  • homebrew-stormchecker Public
    stormchecker/homebrew-stormchecker's past year of commit activity
    Ruby 1 3 0 0 Updated Oct 23, 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…