Ruud Koot's repositories
functional-programming
Assignments for the Functional Programming course at Utrecht University
spotify-apparmor
AppArmor profile for Linux Spotify client
program-slicer-php
Program slicer for PHP
big-data-in-the-cloud-as-a-service
converging on the singularity
dimension-inference
Implementation of Kennedy's dimension inference algorithm
EC-Bestiary
A bestiary of evolutionary, swarm and other metaphor-based algorithms
instant-zipper
Zipper in Instant Generics
lambda-interpreter
Interpreter for the lambda-calculus
mediawiki-core
MediaWiki is the collaborative editing software that runs Wikipedia. It powers some of the most highly-trafficked sites on the web, serving content in over a hundred languages to more than half a billion people each month.
mediawiki-extensions
Github mirror of all MediaWiki extensions - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
vehicle-routing
Local search optimizer for garbage truck scheduling