[Thunderbird Add-On] The Exchange ActiveSync provider for TbSync to sync contacts, tasks and calendars to Thunderbird.

Debian/Ubuntu packages of Storm

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

LaTeX template for PhD thesis

Nefertiti is a fresh theme for Sphinx v7 or superior, based on Bootstrap 5.3, with customizable fonts, color sets, light and dark support, a filter for the table of contents, and much more.

Python library for dynamic fault tree analysis

The Git repository for the mCRL2 toolset.

Scientific Python Library Development Guide and Cookiecutter

Storm website

Storm for almost everyone

The Computer ARithmetic and Logic library for the Storm model checker

Concurrent decision diagram framework written in Rust

Action for checking out a repo

A Modern Probabilistic Model Checker

Kinda awesome beamer theme

Links to tools by subject

This action checks if the source code matches the .clang-format file.

VIT is a lightweight, fast, curses-based front end to Taskwarrior

Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.

A spotify daemon

The Z3 Theorem Prover

Information about verification tools. Browse the data at https://slebok.github.io/proverb/

Python Bindings for the Probabilistic Model Checker Storm

Rare event simulation tool for Dynamic Fault Trees

GitHub action to get workflow conclusion.

⚙️ A GitHub Action to send an email to multiple recipients

GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.