avielhauer

avielhauer's Stars

• mutable-org/mutable

  A Database System for Research and Fast Prototyping

  Language:C++95178

• TimeEval/GutenTAG

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

  Language:Python7181413

• GiulioRossetti/tbp-next-basket

  TARS based prediction for Next Basket

  Language:Python235312

• reactive-systems/MCHyper

  A hardware model checker for hyperproperties

  Language:Verilog18521

• avielhauer/proverif-highlighting

  Language:JavaScript7100

• shack/vim_cheat_mug

  A Vim cheat sheet to put on a mug

  Language:TeX4100

• imdevskp/flights-crash-data-web-scraping-cleaning

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

  Language:Jupyter Notebook2100