-
blog Public
Source of my personal blog, using Markdown, Jekyll and Heroku
-
ddia-references Public
Literature references for “Designing Data-Intensive Applications”
-
ConcDistSys-demos Public
Demo code for Concurrent and Distributed Systems course
-
-
crdt-website Public
Source of the crdt.tech website
-
-
hermitage Public
What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.
-
ddia2-feedback Public
Reader feedback on the early release of Designing Data-Intensive Applications, second edition
-
undo-redo-replicated-registers Public
Forked from lstwn/undo-redo-replicated-registersA CRDT MVR that supports Undo and Redo.
-
texlive.js Public
Forked from fzimmermann89/texlive.jsCompiling LaTeX in your browser
-
-
-
-
insert-interleaving Public
Forked from PascalUrso/ReplicationBenchmarkInsertion interleaving test for collaborative text editing algorithms
-
curve25519 Public
Deriving an implementation of Curve25519 from first principles
TeX UpdatedOct 10, 2022 -
doctor-cluster-config Public
Forked from pogobanane/doctor-cluster-configNixOS configuration for TUM cluster
Nix UpdatedOct 6, 2022 -
-
checked-automerge Public
Forked from jeffa5/automerge-model-checkerAn attempt at model checking Automerge
Rust UpdatedMay 20, 2022 -
-
uploadr.py Public
Command-line Python script to upload photos to Flickr
-
-
debs-keynote Public
Keynote at the 15th ACM International Conference on Distributed and Event-Based Systems (DEBS)
-
core-js Public
Forked from zloirock/core-jsStandard Library
-
neo4j-resources Public archive
Scala implementation of RESTful JSON HTTP resources on top of the Neo4j graph database and Jersey
-
jxirr Public
Excel compatible XIRR (Internal Rate of Return) implementation in Java
-
-
-
neo4j-scala-template Public
Template for a new Scala project using the Neo4j graph database and Jersey JSON REST API, including build config and example tests
-
pushpin-papoc Public
PushPin: Towards Production-Quality Peer-to-Peer Collaboration
-
automerge-rs Public
Forked from automerge/automergeRust implementation of automerge
{{ message }}