Beast code in Giters

Alexander Vielhauer's starred repositories

A Database System for Research and Fast Prototyping

Language:C++AGPL-3.093 1 7

GutenTAG is an extensible tool to generate time series datasets with and without anomalies; integrated with TimeEval.

Language:PythonMIT69 8 14

TARS based prediction for Next Basket

Language:PythonGPL-3.023 5 3

A hardware model checker for hyperproperties

Language:VerilogAGPL-3.018 5 2

Language:JavaScript7 10

A Vim cheat sheet to put on a mug

Language:TeX4 10

Repository contains notebooks and datasets on no. of flights departures, passengers flew, flights crashed etc.

Language:Jupyter Notebook2 10