Explore projects
-
Proof of concept applicatie die interfaced met de AirBeam sensor via PhoneGap
Updated -
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Tying things together to slice commits. Requires ChangeNodes and TinyPDG-turned-SDG
Updated -
Conference Crawler - a Node.js application that crawls research mailing lists to generate a conference calendar
Updated -
The ForestMatcher tool is used to look for matches of source code templates within a given code base
Updated -
-
-
-
Updated
-
I started from the hydiff setup, so figured I should probably finally commit changes I made to it for my symbolic work. Ideally I'll take some time out to start from a clean jpf-symbc, but who knows when I'll get around to that.
Updated