Martin Kleppmann

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

Literature references for “Designing Data-Intensive Applications”

Source of the crdt.tech website

Literature references for “Designing Data-Intensive Applications, 2nd edition”

Ruby invoicing framework gem

Reader feedback on the early release of Designing Data-Intensive Applications, second edition

Documentation tool for Avro schemas

Command-line Python script to upload photos to Flickr

Demo: implementing a Twitter-like news feed using Apache Samza

Distributed systems lecture notes

WARC (Web Archive) Input and Output Formats for Hadoop

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

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

Java library for computing structural differences between XML document trees

Byzantine Eventual Consistency

Demo code for Concurrent and Distributed Systems course

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

No description.

Source of paper “A critique of the CAP theorem”

No description.

Git import of Alastair Tse's chart and graph plotting library for Javascript

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

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

Constrained rigid body simulation for 3D character animation

Research paper about Bluesky/AT Protocol

No description.

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

Computer Science exercises and teaching materials

Bespin on Rails is a simple Ruby on Rails plugin that allows you to embed the Mozilla Bespin code editor component in your Rails views using simple helper tags.

Open standard for companies' financial data - storing and transmitting

Grit gives you object oriented read/write access to Git repositories via Ruby.

Git import of the Windmill project

Go Test It fork of Ruby client library for Selenium RC

No description.

No description.

Very silly Rails app for demonstrating the Ruby invoicing gem. It's about selling christmas cracker jokes.

Compiling LaTeX in your browser

For building v8 (Google's JavaScript engine) as a Debian package

HBase-to-Elasticsearch proof of concept

Download/dump the data in your CoTweet standard account before it gets shut down

Distributed and fault-tolerant realtime computation: stream processing, continuous computation, distributed RPC, and more

A Graph Database for JRuby. It uses the java lib neo4j as storage and lucene for quering/indexing

The missing package manager for OS X.

Resources for Chinese learners

RubiGen - generator framework for your framework

Isabelle formalisation of discrete maths problems

Insertion interleaving test for collaborative text editing algorithms

:wrench: .files, including ~/.macos — sensible hacker defaults for macOS

Rich declarative API extensions for Ruby Deferrables.

Manage your application's gem dependencies with less pain

A CRDT MVR that supports Undo and Redo.

No description.

Mirror of Apache Avro

An open source clone of Amazon's Dynamo.

Website at ept.github.com

No description.

Pretty, customisable, cross browser replacement scrollbars

Export Lean theorems to a relational representation and query them using Datalog

EventMachine: fast, simple event-processing library for Ruby programs

Gradle plugin for configuring and uploading artifacts to Sonatype Nexus

JavaScript bloom filter using FNV for fast hashing

Change data capture from PostgreSQL into Kafka

markdownReader is a extention for chrome, used for reading markdown file.

A simple Producer/Consumer client for Kafka (a distributed publish/subscribe messaging service)

Rust implementation of automerge

No description.

Standard Library

Strange Loop 2016

Scaffold generation tool for the invoicing Ruby gem

No description.

No description.

Extensible BSON encoder/decoder library written in Java with pluggable Java-to-BSON type mappings.

Example project for the P79 course

No description.

Deriving an implementation of Curve25519 from first principles

Thesis info

Mirror of Apache Samza

NixOS configuration for TUM cluster

No description.

An attempt at model checking Automerge

An implementation of differential dataflow using timely dataflow on Rust.

No description.

Playing around with Swift and iOS

Automerge websocket server and client

The Apache Kafka C/C++ library

A completely customizable framework for building rich text editors.

Schema registry for Kafka

No description.

IMDB Interface program, with a couple extra fixes

Quick and easy log4r logging

Strange Loop 2014 archives

Statistics visualisations using D3

Example project using Samza.

For monitoring the distribution of CPU-spans in your event machine reactor thread.

Automatically plot probability distributions

Safe operation-local global variables!

RPM spec for runit (http://smarden.org/runit/)

Sammy is a tiny javascript framework built on top of jQuery, It's RESTful Evented Javascript.