Bene's repositories
rust-chord
Implementation of Chord - A Distributed Hash Table in Rust
eidi2-ocaml
Material for the EIDI2 course on Functional Programming in winter term 2017 at the Technical University of Munich
rust-model-checker
A Model Checker in Rust
ddg-backend
Backend for the Wikidata DuckDuckGo backend
surface-pro4-arch
Some notes on how to get Arch Linux running on the Surface Pro 4
cpp-algorithms
Implementation of some standard algorithms
documentation
:blue_book: Nextcloud documentation
emojicode.github.io
The Emojicode Documentation
focus-android
Firefox Focus: The privacy browser - Browse like no one’s watching.
gbs-learner
Summary for winter term lecture Basics of Operating Systems
isabelle-adm
Isabelle formalizations of the Algorithmic Discrete Mathematics course at TUM
minigrep
Search for strings in a file using Rust
python-algorithms
Implementation of some standard algorithms
zeroclickinfo-goodies
DuckDuckGo Instant Answers based on Perl & JavaScript