Pinned Repositories
.emacs.d
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
cadet
A fast and certifying solver for quantified Boolean formulas.
cudd
CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
edacc_gui
Graphical user interface for database and experiment administration
Fast-Convergence-of-Regularized-Learning-in-Games-Talk
A talk about "Fast Convergence of Regularized Learning in Games" ( http://arxiv.org/abs/1507.00407 )
FKOM
obs-native-cam
obs-studio plugin to simulate a directshow webcam
vscode-rtlola
RTLola language support for VS Code
MalteSchledjewski's Repositories
MalteSchledjewski/obs-native-cam
obs-studio plugin to simulate a directshow webcam
MalteSchledjewski/vscode-rtlola
RTLola language support for VS Code
MalteSchledjewski/.emacs.d
MalteSchledjewski/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
MalteSchledjewski/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
MalteSchledjewski/cadet
A fast and certifying solver for quantified Boolean formulas.
MalteSchledjewski/cudd
CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
MalteSchledjewski/edacc_gui
Graphical user interface for database and experiment administration
MalteSchledjewski/Fast-Convergence-of-Regularized-Learning-in-Games-Talk
A talk about "Fast Convergence of Regularized Learning in Games" ( http://arxiv.org/abs/1507.00407 )
MalteSchledjewski/FKOM
MalteSchledjewski/intellij-pest
MalteSchledjewski/junit-report-rs
JUnit compatible XML reports in Rust
MalteSchledjewski/MalteSchledjewski.github.io
MalteSchledjewski/pcap_on_demand
Rust language pcap library
MalteSchledjewski/rollup-plugin-syntax-highlight
A plugin for Vite and Rollup that highlights code using Shiki
MalteSchledjewski/sikuliator-client
Sikuliator Client which executes tests
MalteSchledjewski/sikuliator-master-node
MalteSchledjewski/sikuliator-paper
Paper about Sikuliator
MalteSchledjewski/sikuliator-test-specification-format
Description of Sikuliator's test specification format