Ruediger Ehlers's repositories
ParetoFrontEnumerationAlgorithm
An algorithm to enumerate all elements of a Pareto front for a multi-criterial optimization problem for which all optimization objectives have a finite range
SeeedSpartanEdgeResources
Various Resources for the Seeed Studio Spartan Edge Acceleration - Used in Stand-Alone Mode
temporal_runtime_monitor_for_caravel
A (temporal logic) runtime monitoring component for the Caravel System on Chip
BBPhoto
Semi-automatic whiteboard photo cleaning program, with optional gphoto integration under Linux
BooleanFunctionLab
Boolean Function Laboratory
C2E2-Tool
C2E2 Verification Tool
convex_adversarial
A method for training neural networks that are provably robust to adversarial attacks.
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
fm-deadlines
:alarm_clock: Formal Methods (FM) conference deadline countdowns
guisan
A C++ SDL2 user interface library based on guichan. ~~~~ Source code fixes for better inclusion in other projects
HittingSetExperiments
Some experiments on solving the Hitting Set Problem in practice
Marabou-CITest
Github Actions CI Test with Marabou
pulp
A python Linear Programming API
regexToDFA
A command line tool for translating a regular expression to a DFA
shellinabox
Unoffical Shell In A Box fork