rutenkolk
CS PhD student at Heinrich-Heine-University. Interested in Formal Methods, Programming languages, specifications(?).
Pinned Repositories
clj-import-static
clsl
coffi
A Foreign Function Interface in Clojure
corona_hhu
fn-fx-pres
Clojure Meetup fn-fx presentation IN fn-fx with examples
glslEditor
Simple WebGL Fragment Shader Editor
jellyfingers
typing jelly code with the help of dmenu
raylib-clj
experimental raylib bindings for clojure
rutenkolk's Repositories
rutenkolk/raylib-clj
experimental raylib bindings for clojure
rutenkolk/clsl
rutenkolk/jellyfingers
typing jelly code with the help of dmenu
rutenkolk/clj-import-static
rutenkolk/coffi
A Foreign Function Interface in Clojure
rutenkolk/corona_hhu
rutenkolk/fn-fx-pres
Clojure Meetup fn-fx presentation IN fn-fx with examples
rutenkolk/glslEditor
Simple WebGL Fragment Shader Editor
rutenkolk/hashlink
A virtual machine for Haxe
rutenkolk/libclang-static-build
rutenkolk/Raylib-J
Handmade Java binding for Raylib
rutenkolk/macos-german-keyboard
A german keyboard layout that hopefully resembles a standard german keyboard layout enough to be usable
rutenkolk/RaylibFS
F# bindings for the glorious c library Raylib
rutenkolk/rutenkolk
Config files for my GitHub profile.
rutenkolk/sudokusolver
A sudoku solver using Difference Map
rutenkolk/wacky
rutenkolk/weaving.next