This is a list of some projects where I contributed significant parts. For a full collection of my projects, see my GitLab or my GitHub account.
Proof checker for proof logging methods using pseudo-Boolean reasoning for various combinatorial solving, optimization and enumeration algorithms.
This toolbox provides functions and data structures to construct and handle ultrametric matrices in Rust and Python.
Python module for sending and receiving 433/315MHz LPD/SRD signals with generic low-cost GPIO RF modules on a Raspberry Pi.