Martijn Vermaat

calmap. Calendar heatmaps from Pandas time series data -- See https://github.com/MarvinT/calmap/ for the maintained version

bio-playground. Random collection of bioinformatics thingies

monoseq. A Python library for pretty-printing DNA and protein sequences using a monospace font

wiggelen. Working with wiggle tracks in Python

binary-loader. Binary loader module for webpack

infinitary-rewriting-coq. Infinitary Rewriting in Coq

quick-hacks. Random collection of source code thingies

tcp. TCP implementation for Minix 2

binning. Interval binning for Go

dotfiles. Home directory configuration files

pymotif. Implementation of Gibbs sampling for local alignments

PyVCF. A Variant Call Format reader for Python.

interval-binning. A Python implementation of the interval binning scheme

documents. My Documents

pyvcf-presentation. PyVCF presentation

nixos-config. My NixOS configuration

biopet. Scala

gitlabhq. Project management and code hosting application. Follow us on twitter @gitlabhq

network-programming. Just a dump of course assignment solutions

rpclib. Static clone of https://github.com/arskom/rpclib for Mutalyzer

compbio-utils. miscellaneous bioinfo scripts

molgenis_apps. MOLGENIS Advanced Application and Computation Framework for the Life Sciences

django. The Web framework for perfectionists with deadlines. Now on GitHub.

sara. A graphical tool for playing with Turing Machines in OCaml/GTK2/Cairo

kjew-website. Website for Kjew. Was located at kjew.nl but does not exist anymore.

soaplib. [This project is discontinued. Please head over to github.com/arskom/rpclib for the next version.] This is a simple, easily extendible soap library that provides several useful tools for creating, publishing and consuming soap web services in python.

vu-homepage. My (former) homepage at the VU University Amsterdam

kiek. A static photoblog generator

program-transformation. Program Transformation course implementations in Stratego/XT

django-fsm. Django friendly finite state machine support

json-api. A shared media type for JSON APIs.

competitierekending. Calculate scores in the Dutch Track & Field competition

checkuitcheckin. Check uit, check in -- a window into public opinion on the Dutch ov-chipkaart system

homepage. My homepage

britney. A simple untyped Lambda Calculus interpreter in Java

wiki. Content of my ikiwiki

vermaat-homepage. Vermaat family homepage