stormchecker/stormpy

Python Bindings for the Probabilistic Model Checker Storm

C++

1,721 commits

updated Sep 23, 2026

stormchecker.github.io/stormpy

See the code

README

Stormpy - Python bindings for Storm

Python bindings for Storm, created using PyBind11.

Stormpy includes Pycarl, the Python Bindings for CArL.

Get started

Get started with stormpy directly in the browser via JupyterLab:

For more information on stormpy, please check the documentation.

Authors

Sebastian Junges
Matthias Volk

The development of pycarl received significant contributions from:

Harold Bruintjes

Contributors

921 commits

543 commits

63 commits

60 commits

Similar repos

pybind/pybind11

Seamless operability between C++11 and Python

18,013

wlav/cppyy

514

wjakob/nanobind

nanobind: tiny and efficient C++/Python bindings

3,723

PyO3/pyo3

Rust bindings for the Python interpreter

16,171

CycloneDX/cyclonedx-python-lib

Functionality and DataModels of OWASP CycloneDX for Python

117

jax-ml/oryx

Oryx is a library for probabilistic programming and deep learning built on top of Jax.

328

pybind/pybind11-stubgen

Generate stubs for python modules

361

pyrovelocity/pyrovelocity

𝒫robabilistic modeling of RNA velocity ⬱

Languages

C++

46.8%

Python

45.8%

Raku

4.1%

CMake

1.9%