ruudkoot/mithrill
L4-inspired microkernel in Assembly
Developer Profile
ruudkoot
Discovered public repositories for ruudkoot in the GitHub catalog.
ruudkoot/trinary
L4-inspired microkernel in C
ruudkoot/spotify-apparmor
AppArmor profile for Linux Spotify client
ruudkoot/lumbda
Functional programming in Lua
ruudkoot/functional-programming
Assignments for the Functional Programming course at Utrecht University
ruudkoot/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)
ruudkoot/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.
ruudkoot/domjudge
DOMjudge programming contest jury system
ruudkoot/big-data-in-the-cloud-as-a-service
converging on the singularity
ruudkoot/phd
Stuff related to my Ph.D. research
ruudkoot/dna
Fork me on GitHub
ruudkoot/doodles
A random collection of experiments in Haskell, Coq, Agda, Twelf, Erlang, ML, ...
ruudkoot/rx286
Executive for the 80286