A simple Python script which provides a Bluetooth to MQTT gateway, easily extensible via custom workers. See https://github.com/zewelor/bt-mqtt-gateway/wiki for more information.

KitchenOwl is a self-hosted grocery list and recipe manager. The backend is made with Flask and the frontend with Flutter. Easily add items to your shopping list before you go shopping. You can als…

Backend for the KitchenOwl app.

The Ultimate program analysis framework.

Collection of Verification Tasks (MOVED, please follow the link)

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

The Parma University's Recurrence Relation Solver with additional patches for LoAT

Loop Acceleration Tool for Integer Programs

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

T2 Temporal Prover