aoertel

Pinned Repositories

bob-ross-challenge-wasp
Language:Jupyter Notebook0 1 00
pysat
A toolkit for SAT-based prototyping in Python
Language:Python0 0 00
rpi-rf-gpiod
Sending and receiving 433MHz signals with cheap GPIO RF modules on a Raspberry Pi
Language:Python7 0 02
ultrametric-matrix-tools
Toolbox that provides functions and data structures to generate and handle ultrametric matrices.
Language:Rust2 1 00
wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
Language:TeX0 0 00
zola-academic
An academic theme inspired by Hugo-Academic
Language:CSS0 0 00
VeritasPBLib
Language:C++0 4 130
cnfgen
CNF generator in DIMACS format. It produces common families of CNFs.
Language:Python64 8 3315
wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
Language:TeX9 2 0134

aoertel's Repositories

aoertel/rpi-rf-gpiod
Sending and receiving 433MHz signals with cheap GPIO RF modules on a Raspberry Pi
Language:Python7 0 02
aoertel/ultrametric-matrix-tools
Toolbox that provides functions and data structures to generate and handle ultrametric matrices.
Language:Rust2 1 00
aoertel/bob-ross-challenge-wasp
Language:Jupyter Notebook0 1 00
aoertel/pysat
A toolkit for SAT-based prototyping in Python
Language:Python0 0 00
aoertel/wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
Language:TeX0 0 00
aoertel/zola-academic
An academic theme inspired by Hugo-Academic
Language:CSS0 0 00