Jonas Wagner's repositories
onenote-export
Exports a set of OneNote notebooks to HTML
jenkins-slave
A Docker container for a DSLab Jenkins slave
sosp2015-notes
Notes from SOSP 2015
anki-tok-pisin
An Anki deck to learn Tok Pisin
pukullalat
A remake of "Pukul Lalat", an electronic game of my youth.
seedpage
A version of Blockchain Commons's seedtool that runs in the browser
a_to_c
A script to convert songs from one pitch to the other, and optionally change their tempo.
advent
Moni&Jonas' Adventskalender
android-disable-animations
A minimalistic app to disable animations in the Android emulator
cb-multios
DARPA Challenges Binaries for Linux, Windows, and OS X
cmark-gfm
GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C
gebetomat
Gebet-o-Mat generiert Gebete
gottesbilder
Ein Memory mit vielen Bildern über Gott
hoextdown
Hoextdown is an extension to Hoedown
nogotofail
An on-path blackbox network traffic security testing tool
OnlyKey-Chrome-App
The OnlyKey Chrome App is used for the initial setup and configuration of OnlyKey. Supported on Windows, macOS, Linux, and Chromebook through Chrome or Chromium browser.
proxynexus
Make high quality Netrunner proxies
request-parser-demo
A small demo of fuzzing an HTTP parser with LibFuzzer
sauraus.ch
Sauraus -- Cevi Festival 2017
science-of-happiness
Course notes for "Science of Happiness" on EdX: https://www.edx.org/course/science-happiness-uc-berkeleyx-gg101x-3
seedtool-cli
Cryptographic Seed Tool for the command line
Sjlver.github.io
Purple pages on the web
smell-spec
A small testing framework for SML inspired by RSpec