📊 Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

Thermal Engineering Systems in Python (TESPy). This package provides a powerful simulation toolkit for thermodynamic modeling of thermal engineering plants such as power plants, heat pumps or refri…

Web GUI for RuiDeng/Riden USB testers (UM34C, UM24C, UM25C, TC66C)

Physics-informed neural network for solving fluid dynamics problems

Temporal Logic Planning toolbox

PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.

Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.

Specify and synthesize systems using symbolic algorithms

Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs

Reinforcement Learning framework for Temporal Goals

Generating novel MNIST digits using neural cellular automata.

Synthesis of hybrid automata from data

A python implementation of event based Hybrid Automata simulation framework.

Web dashboard made with streamlit to plot data and control 2 APIs made with fastapi. API to control UM34C via bluetooth and an API to store the data from UM34C in a database

Reachability checker for hybrid automata