Andreas Zwinkau's starred repositories
Signal-Desktop
A private messenger for Windows, macOS, and Linux.
abduco
abduco provides session management i.e. it allows programs to be run independently from its controlling terminal. That is programs can be detached - run in the background - and then later reattached. Together with dvtm it provides a simpler and cleaner alternative to tmux or screen.
tip-toi-reveng
Trying to understand the file format of Tip Toi
scriptisto
A language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages.
electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
dlang-requests
dlang http client library inspired by python-requests
travis-sphinx
A standalone script for automated building and deploying of sphinx docs via travis-ci
hibernated
HibernateD is ORM for D language (similar to Hibernate)
design-center
CFEngine community-contributed content
tour-of-heroes
some crummy incremental game made with angular 2