Skip to content

@stormchecker Stormchecker

All

    Repositories list

    17 repositories

    • storm-doc

      Public
      Storm documentation with Doxygen
      HTML
      •1•0•0•0•Updated Sep 30, 2026Sep 30, 2026

    • storm

      Public
      A Modern Probabilistic Model Checker
      researchfault-treemarkov-chain
      researchfault-treemarkov-chainmdpmodel-checkingmodel-checkerctmcpomdpdtmc
      C++
      •
      GNU General Public License v3.0
      •87•174•111•34•Updated Sep 30, 2026Sep 30, 2026

    • storm-apt

      Public
      Debian/Ubuntu packages of Storm
      debianubuntu
      debianubuntu
      GNU General Public License v3.0
      •1•1•0•0•Updated Sep 30, 2026Sep 30, 2026

    • stormpy-wheels

      Public
      Python wheels for stormpy
      pythonwheels
      pythonwheels
      GNU General Public License v3.0
      •1•0•0•0•Updated Sep 29, 2026Sep 29, 2026

    • stormpy

      Public
      Python Bindings for the Probabilistic Model Checker Storm
      C++
      •
      GNU General Public License v3.0
      •20•45•31•4•Updated Sep 28, 2026Sep 28, 2026

    • stormvogel

      Public
      Storm for almost everyone
      JavaScript
      •
      GNU General Public License v3.0
      •6•16•37•1•Updated Sep 25, 2026Sep 25, 2026

    • carl-storm

      Public
      The Computer ARithmetic and Logic library for the Storm model checker
      C++
      •
      Other
      •5•5•3•4•Updated Sep 24, 2026Sep 24, 2026

    • storm-project-starter-cpp

      Public template
      Starter project for the C++ API of Storm
      CMake
      •
      GNU General Public License v3.0
      •7•3•0•0•Updated Sep 18, 2026Sep 18, 2026

    • homebrew-stormchecker

      Public
      Ruby
      •3•1•0•0•Updated Sep 16, 2026Sep 16, 2026

    • docker-storm

      Public
      Dockerfiles related to Storm
      Dockerfile
      •0•2•0•0•Updated Sep 8, 2026Sep 8, 2026

    • storm-website

      Public
      Storm website
      TeX
      •4•1•3•0•Updated Aug 30, 2026Aug 30, 2026

    • stormvogel-playground

      Public
      Python
      •
      GNU General Public License v3.0
      •1•1•0•2•Updated Aug 3, 2026Aug 3, 2026

    • stormpyter

      Public
      Jupyter notebooks for Storm(py)
      Jupyter Notebook
      •
      GNU General Public License v3.0
      •3•1•2•0•Updated Jul 23, 2026Jul 23, 2026

    • carl-parser

      Public archive
      Parser for carl data structures
      C++
      •
      Other
      •0•0•0•0•Updated Jun 23, 2026Jun 23, 2026

    • storm-project-starter-python

      Public template
      Starter project for the Python API of Storm via Stormpy
      Jupyter Notebook
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Jun 22, 2026Jun 22, 2026

    • ci-workflows

      Public
      Shared CI workflows
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 8, 2026Apr 8, 2026

    • storm-benchmark-logs

      Public
      Results for benchmarks of storm
      HTML
      •0•0•0•0•Updated Mar 25, 2026Mar 25, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.