Liangrun Da

raft-lite. Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.

AutomergeWithMove. Implementation for my paper "Extending JSON CRDT with Move Operations"

StorgataDB. A distributed key-value database using Raft.

local-first-linguist. Local-first Linguist is a local machine translator that allows you to translate subtitle (.srt), spreadsheet (.csv), and others. It is free and doesn't require any internet connection nor any cloud service. The translator is based on MT5 and Helsinki-NLP.

bitcask-engine-rs. A Rust implementation of BitCask, a log-structured storage engine for key/value data.

video-compare. JavaScript

bft-crdt-isabelle. Isabelle

LLRStore. A dynamo-like distributed database

nginx-geo-analyzer. A non-intrusive Nginx log analyzer with geographical insights.

TUM-slides-latex-template. TeX

2PC-Isabelle. Isabelle

bft-crdt-rs. Rust

bft-crdt-scala. Scala

obsidian-typora-html-img. This plugin allows you to use the Typora HTML image syntax in Obsidian. It converts the relative path to the image to the correct path in Obsidian.

AutomergeProtoChecker. Go

tldraw-with-automerge. TypeScript

crdt-map-perf. JavaScript

quic-go-tutorial. Go