Beast code in Giters

Ruediger Ehlers's repositories

planet

PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool

Language:C++41 7 4

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

Language:C++MIT7 20

optic

Approximately Propagation Complete and Conflict Propagating CNF Encoder

Language:Python2 20

BoundedElipsoidComputation

Language:C++GPL-2.01 20

SeeedSpartanEdgeResources

Various Resources for the Seeed Studio Spartan Edge Acceleration - Used in Stand-Alone Mode

Language:C++1 20

temporal_runtime_monitor_for_caravel

A (temporal logic) runtime monitoring component for the Caravel System on Chip

Language:VerilogApache-2.0100

automata

A Python library for simulating finite automata, pushdown automata, and Turing machines

Language:PythonMIT010

BBPhoto

Semi-automatic whiteboard photo cleaning program, with optional gphoto integration under Linux

Language:JavaGPL-3.0000

bestirs

The bestirs game solver (over abstractions of (cyber-)physical systems)

Language:C++020

BooleanFunctionLab

Boolean Function Laboratory

Language:CLGPL-3.0020

C2E2-Tool

C2E2 Verification Tool

Language:PythonMIT000

convex_adversarial

A method for training neural networks that are provably robust to adversarial attacks.

Language:PythonMIT020

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.

Language:PythonNOASSERTION000