benkeks
Computer scientist in the field of analysis and theory of distributed systems. (And sometimes game dev.)
TU BerlinBerlin
benkeks's Stars
scala-js/scala-js
Scala.js, the Scala to JavaScript compiler
quarto-dev/quarto-cli
Open-source scientific and technical publishing system built on Pandoc.
thecodingmachine/workadventure
A collaborative web application (virtual office) presented as a 16-bit RPG video game
RestyaPlatform/board
Trello like kanban board. Based on Restya platform.
gzuidhof/starboard-notebook
In-browser literate notebooks
FormalTheology/GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
nomeata/incredible
The Incredible Proof Machine
lihaoyi/Scalatex
Programmable, Typesafe Document Generation
CDSoft/pp
PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...
jweisbeck/Crossword
A javascript crossword puzzle script
blitz-research/blitz3d
OCA/knowledge
Odoo Document & Knowledge Management
spaced/scala-js-d3
d3 facade types for Scala.js
mCRL2org/mCRL2
The Git repository for the mCRL2 toolset.
bchazalet/scalajs-electron-skeleton
A skeleton for a Scala.sj based electron application
CAAL/CAAL
CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).
outofordergames/blocbybloc
lolgab/mill-scalablytyped
Scalablytyped Mill Plugin
jardiacaj/finem_imperii
A web-based role-strategy multiplayer game
AutomataTutor/automatatutor-frontend
Scala+lift frontend for automatatutor.com
Marii19/the-spectroscopy-invaders
Implementation of spectroscopy procedure.
fuerst/embed-etherpad-lite
Embed Etherpad Lite pads into Discourse posts using Onebox.
benkeks/equivalence-fiddle
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
photonstorm/phaser3-docs
Phaser 3 API Documentation
benkeks/clave
Casual game about trapping monsters.
bboyifeel/bac-protocol-unlinkability-exploitation
jesyspa/directed-branching-bisimulation
Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov
johannaengland/hml-synthesis-distinguished-processes
This is the accompanying code to my bachelor's thesis "HML Synthesis of Distinguished Processes".
OpenGrabeso/threejs-facade
ScalaJS facade for threejs
ZDSmith/bac-protocol-unlinkability
DEEPSEC implementations of the BAC passport protocol