Michiel Derveeuw's repositories
classes-timeline-server
A simple node server using the pebble-api library to push pins to the timeline for my Pebble app Classes
Language:JavaScript000
ChimBot
Discord Bot for tools and memes made with Discord.js
Language:JavaScript000
ClassFace
Watchface that displays my current and next classes.
Language:C000
CompileBot
Discord bot for compiling and running code
000
cv
Personal CV
Language:TeX000
HaskellMinesweeper
Haskell implementation of Minesweeper
Language:Haskell000
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
maven-xtext-example
An Xtext language and example usage of it built with Maven
Language:Java000
mderveeuw.github.io
Main github pages site
000
MultiplayerMinesweeper
Multiplayer version of Minesweeper that can be played in a browser
Language:JavaScript000
reverse-sub-feed
Reverse YouTube sub box, meaning oldest videos in your YouTube sub box will show first.
Language:JavaScript000
robotto-dj
Just another Discord.js music bot.
Language:JavaScript000
ui-best-practices
UI Best Practices for the Eclipse IDE
EPL-1.0000
vscode-idris
Idris for Visual Studio Code
Language:JavaScriptBSD-3-Clause000
workit
work schedule.
000