Markus Alexander Kuppe

BlockingQueue. Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

lets-prove-blocking-queue. Proving a blocking queue deadlock free in a dozen different ways

ewd998. Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

kraken-gateway. kraken-gateway clone with skype transport added

skype4java. Clone of skype4java with a Linux DBus binding - LOOKING FOR NEW MAINTAINER

sensors2mqtt. Sends the Android sensor data to an MQTT broker of your choice

myWorkspaceMechanics. A collection of workspace mechanic configs for Eclipse

AsyncGameOfLife. Asynchronous variant of Conway's Game of Life in TLA+

tlc-perf. Performance measurements for the TLC model checker

myAnimalFarm. Java Introduction (each commit introduces a new concept)

zarafa2asterisk. Sets the Asterisk caller ID from Zarafa Contacts

SecuredSLP. Encrypted version of the SLP protocol based on group Diffie-Hellman key exchange

vscode-tlaplus. TLA+ language support for Visual Studio Code

azure-cosmos-tla. TLA

raft.tla. TLA+ specification for the Raft consensus algorithm

Pdf4Eclipse. A pdf viewer for Eclipse

de.rub.hgi.nds.tgdh. The original source can be found at http://nds.hgi.rub.de/liao/works/TGDH-Source.zip

gitlyn. Mylyn and Git integration

rss-extender. This PHP Script can extend short rss feeds by visiting the site, download all articles and merge them together to get an ultimative feed.

p2CompositeRepoGenerator. Generates p2 composite repository metadata on the fly

jmx2munin. Export JMX information to Munin. This is now a custom tailored version of jmx2munin for the TLC model checker!!!

PageQueue. TLA

awesome-java. A curated list of awesome Java frameworks, libraries and software.

ewd840. TLA