This is the source code used in the 2013 PhD thesis by Warren Creemers
Source Code for UURT Humanoid KidSize robots
PHP based code repository with syntax highlighting.
Code to calculate Van Rossum distances between spike trains.
Python package for fitting of O-C diagrams.
XlsToFormula translates xls files' formulas to binaries/executables.
Code library for converting MIDI and GLN files to GUIDO Music Notation
KF Checker is a tool for analysing Information Flow properties.
Unified Verification Environment
LoGun Weapon Tracking Cloud