Projects

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.

• VeriPB

  Stephan Gocht, Andy Oertel

  GitLab

  Proof checker for proof logging methods using pseudo-Boolean reasoning for various combinatorial solving, optimization and enumeration algorithms.

• Ultrametric matrix tools

  Andy Oertel

  GitHub Crates.io

  This toolbox provides functions and data structures to construct and handle ultrametric matrices in Rust and Python.

• Raspberry Pi RF gpiod port

  Andy Oertel

  GitHub PyPi package

  Python module for sending and receiving 433/315MHz LPD/SRD signals with generic low-cost GPIO RF modules on a Raspberry Pi.