Ruud Koot (@ruudkoot)
github

ruudkoot

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 571,305 (Top 20 %)
  • Followers 13
  • Following 24
  • Registered over 14 years ago
  • Most used languages
    Haskell
         50.0 %
    C
         16.7 %
    Assembly
         16.7 %
    HTML
         16.7 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 21,858
  • Country Ranking
    Haskell
         207
    Assembly
         461
    C
         3,723
    HTML
         6,323

Top repositories

1

functional-programming

Assignments for the Functional Programming course at Utrecht University
Haskell
9
star
2

spotify-apparmor

AppArmor profile for Linux Spotify client
3
star
3

phd

Stuff related to my Ph.D. research
Haskell
3
star
4

dna

Fork me on GitHub
3
star
5

doodles

A random collection of experiments in Haskell, Coq, Agda, Twelf, Erlang, ML, ...
HTML
2
star
6

trinary

L4-inspired microkernel in C
C
2
star
7

program-slicer-php

Program slicer for PHP
Haskell
1
star
8

rx286

Executive for the 80286
Assembly
1
star