Pinned Repositories
aud-w2017
Materialien zur Übung Algorithmen und Datenstrukturen, WiSe 2017/2018, TU Dresden, Mittwoch, 1. DS, APB/E023
aud-w2018-tut1
Materialien zu Übung Algorithmen und Datenstrukturen WiSe 2018/19, TU Dresden, Montag 2. DS, VMB/0E02
aud-w2018-tut2
Materialien zu Übung Algorithmen und Datenstrukturen WiSe 2018/19, TU Dresden, Mittwoch 1. DS, GER/0009
listings-rust
A Rust language and style specification for the LaTeX-package listings
Praktikum-Haskell-S17
Praktikum Haskell, Fakultät Informatik, TU Dresden, Sommersemester 2017
prog-s2018
Materialien zu Übung Programmierung, SoSe 2018, TU Dresden, Mittwoch 6. DS, APB/E023
prog-s2019
Materialien zu Übung Programmierung, SoSe 2019, TU Dresden, Mittwoch 4. DS, APB/E006
rust-integeriser
Data-structures that represent values by unique integers.
rust-log-domain
Logarithmic probabilities for rust
rustomata
Framework for (weighted) automata with storage
denki's Repositories
denki/listings-rust
A Rust language and style specification for the LaTeX-package listings
denki/aud-w2018-tut1
Materialien zu Übung Algorithmen und Datenstrukturen WiSe 2018/19, TU Dresden, Montag 2. DS, VMB/0E02
denki/prog-s2018
Materialien zu Übung Programmierung, SoSe 2018, TU Dresden, Mittwoch 6. DS, APB/E023
denki/aud-w2017
Materialien zur Übung Algorithmen und Datenstrukturen, WiSe 2017/2018, TU Dresden, Mittwoch, 1. DS, APB/E023
denki/Praktikum-Haskell-S17
Praktikum Haskell, Fakultät Informatik, TU Dresden, Sommersemester 2017
denki/prog-s2019
Materialien zu Übung Programmierung, SoSe 2019, TU Dresden, Mittwoch 4. DS, APB/E006
denki/aud-w2018-tut2
Materialien zu Übung Algorithmen und Datenstrukturen WiSe 2018/19, TU Dresden, Mittwoch 1. DS, GER/0009
denki/denki.github.io
denki/jabref
Graphical Java application for managing bibtex (.bib) databases
denki/openttt
Software for managing table tennis tournaments.
denki/prog-s2017
Materialien zur Übung Programmierung, SoSe 2017, TU Dresden, Dienstag 2. DS, HSZ/0103
denki/rustomata-eval