Dominik Winterer's repositories
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
AnkiVim
Use vim (or your favorite editor) to write anki cards quickly in plain text or latex.
che
The Kubernetes-Native IDE for Developer Teams
dl2
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.
eran
ETH Robustness Analyzer for Deep Neural Networks
grammarinator
ANTLR v4 grammar-based test generator
jemdoc_mathjax
jemdoc with MathJax support and more
loglizer
A log analysis toolkit for automated anomaly detection [ISSRE'16]
logparser
A toolkit for automated log parsing [ICSE'19, TDSC'18, DSN'16]
r-socialsci-intermediate-file
To store interviews-plotting.csv
z3test
Test and benchmark repository for Z3.