Dominik Winterer's Projects
A beautiful, simple, clean, and responsive Jekyll theme for academics
Use vim (or your favorite editor) to write anki cards quickly in plain text or latex.
The Kubernetes-Native IDE for Developer Teams
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
ETH Robustness Analyzer for Deep Neural Networks
ANTLR v4 grammar-based test generator
jemdoc with MathJax support and more
A log analysis toolkit for automated anomaly detection [ISSRE'16]
A toolkit for automated log parsing [ICSE'19, TDSC'18, DSN'16]
To store interviews-plotting.csv
Test and benchmark repository for Z3.