Pinned Repositories
allealle-benchmark
deconz-rest-plugin
REST API Plugin to control ZigBee lights like Philips Hue and dresden elektroniks wireless electronic ballasts
headphones
Automatic music downloader for SABnzbd
impulse
Impulse simplifies and speeds up the IDE development process in Eclipse, for both language with existing front-ends as well as languages generated using compiler and interpreter generation frameworks.
java-solution-checker
joukestoel.github.io
jtech-nerding-out-1
Repository used in the first Nerding Out! event organised by Ordina JTechnologies
jtech-nerding-out-2
Repository used for the second J-Technologies Nerding Out! event
LazyLibrarian
This project isn't finished yet. Goal is to create a SickBeard, CouchPotato, Headphones-like application for ebooks. Headphones is used as a base, so there are still a lot of references to it.
smtlib2
Syntax, IDE and execution of SMT-LIB (v2.5)
joukestoel's Repositories
joukestoel/allealle-benchmark
joukestoel/headphones
Automatic music downloader for SABnzbd
joukestoel/jtech-nerding-out-2
Repository used for the second J-Technologies Nerding Out! event
joukestoel/smtlib2
Syntax, IDE and execution of SMT-LIB (v2.5)
joukestoel/deconz-rest-plugin
REST API Plugin to control ZigBee lights like Philips Hue and dresden elektroniks wireless electronic ballasts
joukestoel/impulse
Impulse simplifies and speeds up the IDE development process in Eclipse, for both language with existing front-ends as well as languages generated using compiler and interpreter generation frameworks.
joukestoel/java-solution-checker
joukestoel/joukestoel.github.io
joukestoel/jtech-nerding-out-1
Repository used in the first Nerding Out! event organised by Ordina JTechnologies
joukestoel/LazyLibrarian
This project isn't finished yet. Goal is to create a SickBeard, CouchPotato, Headphones-like application for ebooks. Headphones is used as a base, so there are still a lot of references to it.
joukestoel/rebel-reo
Example specifications implemented in Rebel and in Reo
joukestoel/linux
Linux kernel source tree
joukestoel/live-state-machines
joukestoel/micromarkdown.js
convert markdown to html in under 5kb
joukestoel/packman-benchmark
joukestoel/pampas-solver
joukestoel/paperspaceGameStreamFixer
joukestoel/rascal-website
joukestoel/rushhour-solver-benchmark
This project shows encoding of the Rush Hour game in different solvers
joukestoel/ui-sortable
AngularJS bindings for jQuery UI Sortable