Pinned Repositories
bob-ross-challenge-wasp
pysat
A toolkit for SAT-based prototyping in Python
rpi-rf-gpiod
Sending and receiving 433MHz signals with cheap GPIO RF modules on a Raspberry Pi
ultrametric-matrix-tools
Toolbox that provides functions and data structures to generate and handle ultrametric matrices.
wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
zola-academic
An academic theme inspired by Hugo-Academic
VeritasPBLib
cnfgen
CNF generator in DIMACS format. It produces common families of CNFs.
wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
aoertel's Repositories
aoertel/rpi-rf-gpiod
Sending and receiving 433MHz signals with cheap GPIO RF modules on a Raspberry Pi
aoertel/ultrametric-matrix-tools
Toolbox that provides functions and data structures to generate and handle ultrametric matrices.
aoertel/bob-ross-challenge-wasp
aoertel/pysat
A toolkit for SAT-based prototyping in Python
aoertel/wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
aoertel/zola-academic
An academic theme inspired by Hugo-Academic