Martin Kleppmann's Projects
Rust implementation of automerge
Mirror of Apache Avro
Documentation tool for Avro schemas
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.
Source of my personal blog, using Markdown, Jekyll and Heroku
JavaScript bloom filter using FNV for fast hashing
Change data capture from PostgreSQL into Kafka
Manage your application's gem dependencies with less pain
Byzantine Eventual Consistency
Source of paper “A critique of the CAP theorem”
An attempt at model checking Automerge
Resources for Chinese learners
Computer Science exercises and teaching materials
Standard Library
Download/dump the data in your CoTweet standard account before it gets shut down
Very silly Rails app for demonstrating the Ruby invoicing gem. It's about selling christmas cracker jokes.
Source of the crdt.tech website
Deriving an implementation of Curve25519 from first principles
Literature references for “Designing Data-Intensive Applications”
Keynote at the 15th ACM International Conference on Distributed and Event-Based Systems (DEBS)
Rich declarative API extensions for Ruby Deferrables.
An implementation of differential dataflow using timely dataflow on Rust.
Isabelle formalisation of discrete maths problems
Distributed systems lecture notes
NixOS configuration for TUM cluster
:wrench: .files, including ~/.macos — sensible hacker defaults for macOS
Quick and easy log4r logging