Benjamin Bisping's repositories
equivalence-fiddle
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
bbisping-academic
Website listing Benjamin Bisping's research and teaching
blitz3d-linux-utils
Stuff to improve working with Blitz3d under Linux
concurrency-theory.org
Website to give some overview over the concurrency theory community
counterfactuals-isabelle
Modelling David-Lewis-Counterfactuals in Isabelle/HOL
coupled-similarity
Algorithms to compute Coupled Similarity
discourse-category-headers
Theme component providing custom settings for the discourse category header
discourse-democracy
Discourse plugin extending polls with proxy voting and quora
markdown-basic
Run Markdown documents as interactive scripts
discourse-mermaid
Adds the Mermaid JS library to discourse
discourse-placeholder-theme-component
discourse-placeholder-theme-component
embed-etherpad-lite
Embed Etherpad Lite pads into Discourse posts using Onebox.
FullscreenForm
An experimental fullscreen form concept where the idea is to allow distraction-free form filling with some fancy animations when moving between form fields.
panproc
JS tools for transforming and analyzing discrete process models