Skip to content

@stormchecker Stormchecker

Change the repository type filter

All

    Repositories list

    14 repositories

    • docker-storm

      Public
      Dockerfiles related to Storm
      Dockerfile
      •0•2•0•0•Updated Apr 24, 2026Apr 24, 2026

    • carl-storm

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

    • storm-doc

      Public
      Storm documentation with Doxygen
      HTML
      •1•0•0•0•Updated Apr 24, 2026Apr 24, 2026

    • stormpy

      Public
      Python Bindings for the Probabilistic Model Checker Storm
      C++
      •
      GNU General Public License v3.0
      •20•42•32•4•Updated Apr 23, 2026Apr 23, 2026

    • storm

      Public
      A Modern Probabilistic Model Checker
      researchfault-treemarkov-chain
      researchfault-treemarkov-chainmdpmodel-checkingmodel-checkerctmcpomdpdtmc
      C++
      •
      GNU General Public License v3.0
      •86•166•100•9•Updated Apr 23, 2026Apr 23, 2026

    • stormvogel

      Public
      Storm for almost everyone
      JavaScript
      •
      GNU General Public License v3.0
      •6•14•40•4•Updated Apr 20, 2026Apr 20, 2026

    • storm-website

      Public
      Storm website
      SCSS
      •4•1•2•1•Updated Apr 16, 2026Apr 16, 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 Apr 13, 2026Apr 13, 2026

    • stormvogel-playground

      Public
      Python
      •
      GNU General Public License v3.0
      •0•1•1•1•Updated Apr 12, 2026Apr 12, 2026

    • ci-workflows

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

    • stormpyter

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

    • carl-parser

      Public
      Parser for carl data structures
      C++
      •
      Other
      •0•0•0•0•Updated Apr 6, 2026Apr 6, 2026

    • storm-benchmark-logs

      Public
      Results for benchmarks of storm
      HTML
      •0•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • storm-project-starter-cpp

      Public template
      Starter project for the C++ API of Storm
      CMake
      •
      GNU General Public License v3.0
      •6•2•0•0•Updated Mar 24, 2026Mar 24, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.