Andreas Zwinkau's starred repositories
scriptisto
A language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages.
travis-sphinx
A standalone script for automated building and deploying of sphinx docs via travis-ci
electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
tour-of-heroes
some crummy incremental game made with angular 2
dlang-requests
dlang http client library inspired by python-requests
tip-toi-reveng
Trying to understand the file format of Tip Toi
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.
hibernated
HibernateD is ORM for D language (similar to Hibernate)
Signal-Desktop
A private messenger for Windows, macOS, and Linux.
design-center
CFEngine community-contributed content