Michel Bøje Randahl Nielsen's repositories
Language:F#000
idris-vim
Idris mode for vim
Language:VimL000
Language:F#000
scala
random scala stuff
Language:Scala000
Prolog-stuff
arbitrary useful prolog programs/parts.
Data-mining-stuff
arbitrary python data mining scripts
Language:Python000