Martijn Vermaat's repositories
bio-playground
Random collection of bioinformatics thingies
infinitary-rewriting-coq
Infinitary Rewriting in Coq
nixos-config
My NixOS configuration
vu-homepage
My (former) homepage at the VU University Amsterdam
ansible-role-easybuild
Ansible role for EasyBuild
cover-your-tracks
Is your browser safe against tracking?
docker-debian-ansible
Dockerized Debian 8 with Ansible
docker-debian-texlive
Dockerized Debian 8 with TeX Live
hgvs-spec-presentation
Specification of HGVS nomenclature
network-manager-openvpn
network-manager-openvpn
play-to-xbmc-chrome
A Google Chrome Extension for sending online content to be played on XBMC. Supported websites include YouTube, Vimeo, CollegeHumor, DailyMotion, eBaumsWorld and SoundCloud.
rust-by-example
Learn Rust with examples (Live code editor included)
symposium-reproducible-research
Transparency and reproducibility in computational analyses