benkeks
Computer scientist in the field of analysis and theory of distributed systems. (And sometimes game dev.)
TU BerlinBerlin
Pinned Repositories
bbisping-academic
Website listing Benjamin Bisping's research and teaching
blitz3d-linux-utils
Stuff to improve working with Blitz3d under Linux
clave
Casual game about trapping monsters.
concurrency-theory.org
Website to give some overview over the concurrency theory community
counterfactuals-isabelle
Modelling David-Lewis-Counterfactuals in Isabelle/HOL
dgx9142
A strategic 3d space shooter
discourse-democracy
Discourse plugin extending polls with proxy voting and quora
equivalence-fiddle
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
isabelle-action
markdown-basic
Run Markdown documents as interactive scripts
benkeks's Repositories
benkeks/dgx9142
A strategic 3d space shooter
benkeks/equivalence-fiddle
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
benkeks/clave
Casual game about trapping monsters.
benkeks/bbisping-academic
Website listing Benjamin Bisping's research and teaching
benkeks/isabelle-action
benkeks/blitz3d-linux-utils
Stuff to improve working with Blitz3d under Linux
benkeks/concurrency-theory.org
Website to give some overview over the concurrency theory community
benkeks/counterfactuals-isabelle
Modelling David-Lewis-Counterfactuals in Isabelle/HOL
benkeks/coupled-similarity
Algorithms to compute Coupled Similarity
benkeks/discourse-category-headers
Theme component providing custom settings for the discourse category header
benkeks/discourse-democracy
Discourse plugin extending polls with proxy voting and quora
benkeks/markdown-basic
Run Markdown documents as interactive scripts
benkeks/discourse-mermaid
Adds the Mermaid JS library to discourse
benkeks/discourse-placeholder-theme-component
discourse-placeholder-theme-component
benkeks/discourse-reply-template-component
benkeks/embed-etherpad-lite
Embed Etherpad Lite pads into Discourse posts using Onebox.
benkeks/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.
benkeks/isa-lab
Playing around with Isabelle/HOL
benkeks/layout
Layout Material
benkeks/panproc
JS tools for transforming and analyzing discrete process models
benkeks/sandbox
A falling-sand game from 2006
benkeks/scalajs-phaser-example