ept

ddia-references

Literature references for “Designing Data-Intensive Applications”

hermitage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

crdt-website

Source of the crdt.tech website

avrodoc

Documentation tool for Avro schemas

uploadr.py

Command-line Python script to upload photos to Flickr

dist-sys

Distributed systems lecture notes

neo4j-scala-template

Template for a new Scala project using the Neo4j graph database and Jersey JSON REST API, including build config and example tests

neo4j-resources

Scala implementation of RESTful JSON HTTP resources on top of the Neo4j graph database and Jersey

byzantine-eventual

Byzantine Eventual Consistency

jxirr

Excel compatible XIRR (Internal Rate of Return) implementation in Java

spake2-signal

blog

Source of my personal blog, using Markdown, Jekyll and Heroku

pushpin-papoc

PushPin: Towards Production-Quality Peer-to-Peer Collaboration

debs-keynote

Keynote at the 15th ACM International Conference on Distributed and Event-Based Systems (DEBS)

selenium-rc

selenium-core

drawing-game

undo-redo-replicated-registers

A CRDT MVR that supports Undo and Redo.

automerge-rs

Rust implementation of automerge

core-js

Standard Library

curve25519

Deriving an implementation of Curve25519 from first principles

insert-interleaving

Insertion interleaving test for collaborative text editing algorithms

texlive.js

Compiling LaTeX in your browser

automerge-repo

checked-automerge

An attempt at model checking Automerge

doctor-cluster-config

NixOS configuration for TUM cluster

git-test

research-work-info

Thesis info

simplemerge

Automerge websocket server and client

swift-experiments

Playing around with Swift and iOS