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