Pinned Repositories
agda2llvm
LLVM Backend for Agda (BSc thesis)
agda2scheme
Compiler backend for generating Scheme code
BiomeBundle
Custom Terrain Generator
CDMLLoader
A Markup Language for designing Device Mod Applications.
docker-java8-maven
Sets up a container with oracle jdk8 and maven 3
ExoMediaBindings
jquery.hash
jQuery DOM-element hashing plugin
motorscript-v2-rework
Experimental second iteration of the MotorScript compiler.
gazebo
Gazebo: A Domain-Specific Language for Minecraft
x86-frogger
A primitive recreation of classic Frogger as a project for the Computer Organization course(CSE1400) at Delft University of Technology.
jochembroekhoff's Repositories
jochembroekhoff/agda2llvm
LLVM Backend for Agda (BSc thesis)
jochembroekhoff/CDMLLoader
A Markup Language for designing Device Mod Applications.
jochembroekhoff/jquery.hash
jQuery DOM-element hashing plugin
jochembroekhoff/agda2scheme
Compiler backend for generating Scheme code
jochembroekhoff/BiomeBundle
Custom Terrain Generator
jochembroekhoff/docker-java8-maven
Sets up a container with oracle jdk8 and maven 3
jochembroekhoff/ExoMediaBindings
jochembroekhoff/javafx-gradle-plugin
Gradle plugin that makes it easy to work with JavaFX 11+
jochembroekhoff/motorscript-v2-rework
Experimental second iteration of the MotorScript compiler.
jochembroekhoff/ICEmu
Intermittent Computing Emulator
jochembroekhoff/JsonTranslator
Easy translation of Json-based translation projects
jochembroekhoff/kettinglijn
Testing around with some Java math for the catenary curve
jochembroekhoff/Marble-Marcher-Community-Edition
A community-developed version of the original Marble Marcher - a fractal physics game.
jochembroekhoff/mc-mts-installer
MC-MTS Installer
jochembroekhoff/MjpegViewBindings
Xamarin.Android bindings for https://github.com/niqdev/ipcam-view
jochembroekhoff/monkey-cache
Easily cache any data structure for a specific amount of time in any .NET application.
jochembroekhoff/MPAndroidChart.Xamarin
A Xamarin binding for MPAndroidChart by Philipp Jahoda
jochembroekhoff/MrCrayfishDeviceMod
A Minecraft Mod that adds in electronic devices that actually work
jochembroekhoff/nabl
Spoofax' Name Binding Language
jochembroekhoff/NBT
A java implementation of the NBT protocol, including a way to implement custom tags.
jochembroekhoff/PlacesSearchBar
An extension of Xamarin.Forms SearchBar control for implementing Google Places Autocomplete API
jochembroekhoff/Raspberry-Pi-Setup-Guide
A really opionionated guide how to setup a RPi with Arch Linux including WiringPi, ntp, wi-fi, ssh, ruby, zsh etc.
jochembroekhoff/resxtranslator
Resx Resource Translator
jochembroekhoff/rxjava-android-binding
Xamarin Binding Library - RxJava
jochembroekhoff/sonaycer-mbox
An internal mail and notification system
jochembroekhoff/spoofax
Spoofax runtime
jochembroekhoff/tconfig
A simple INI reader/writer for C.
jochembroekhoff/xknx
XKNX - A KNX library written in Python