Benjamin Bisping's Projects
Website listing Benjamin Bisping's research and teaching
Stuff to improve working with Blitz3d under Linux
Casual game about trapping monsters.
Website to give some overview over the concurrency theory community
Modelling David-Lewis-Counterfactuals in Isabelle/HOL
Algorithms to compute Coupled Similarity
A strategic 3d space shooter
Theme component providing custom settings for the discourse category header
Discourse plugin extending polls with proxy voting and quora
Adds the Mermaid JS library to discourse
discourse-placeholder-theme-component
Embed Etherpad Lite pads into Discourse posts using Onebox.
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
An experimental fullscreen form concept where the idea is to allow distraction-free form filling with some fancy animations when moving between form fields.
Playing around with Isabelle/HOL
Layout Material
Run Markdown documents as interactive scripts
JS tools for transforming and analyzing discrete process models
A falling-sand game from 2006