Skip to content
@stormchecker

Stormchecker

Storm Model Checker

Pinned Loading

  1. storm storm Public

    A Modern Probabilistic Model Checker

    C++ 172 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
  • stormvogel Public

    Storm for almost everyone

    stormchecker/stormvogel's past year of commit activity
    JavaScript 16 GPL-3.0 6 37 1 Updated Sep 20, 2026
  • storm-doc Public

    Storm documentation with Doxygen

    stormchecker/storm-doc's past year of commit activity
    HTML 0 1 0 0 Updated Sep 20, 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 Sep 20, 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 31 4 Updated Sep 19, 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
  • storm Public

    A Modern Probabilistic Model Checker

    stormchecker/storm's past year of commit activity
    C++ 172 GPL-3.0 87 105 (7 issues need help) 25 Updated Sep 17, 2026
  • homebrew-stormchecker Public
    stormchecker/homebrew-stormchecker's past year of commit activity
    Ruby 1 3 0 0 Updated Sep 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 5 Updated Sep 16, 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 Sep 11, 2026
  • docker-storm Public

    Dockerfiles related to Storm

    stormchecker/docker-storm's past year of commit activity
    Dockerfile 2 0 0 0 Updated Sep 8, 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…