Pinned Repositories
2PC-Isabelle
automerge
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
automerge.github.io
AutomergeWithMove
Implementation for my paper "Extending JSON CRDT with Move Operations"
bft-crdt-isabelle
bitcask-engine-rs
A Rust implementation of BitCask, a log-structured storage engine for key/value data.
LLRStore
A dynamo-like distributed database
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.
raft-lite
Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.
StorgataDB
A distributed key-value database using Raft.
LiangrunDa's Repositories
LiangrunDa/raft-lite
Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.
LiangrunDa/AutomergeWithMove
Implementation for my paper "Extending JSON CRDT with Move Operations"
LiangrunDa/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.
LiangrunDa/bitcask-engine-rs
A Rust implementation of BitCask, a log-structured storage engine for key/value data.
LiangrunDa/StorgataDB
A distributed key-value database using Raft.
LiangrunDa/bft-crdt-isabelle
LiangrunDa/LLRStore
A dynamo-like distributed database
LiangrunDa/2PC-Isabelle
LiangrunDa/automerge
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
LiangrunDa/automerge.github.io
LiangrunDa/AutomergeProtoChecker
LiangrunDa/bark-server
Backend of Bark
LiangrunDa/crdt-map-perf
LiangrunDa/delta-rs
A native Rust library for Delta Lake, with bindings into Python
LiangrunDa/ish
Linux shell for iOS
LiangrunDa/obsidian-releases
Community plugins list, theme list, and releases of Obsidian.
LiangrunDa/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.
LiangrunDa/quic-go-tutorial
LiangrunDa/raft.github.io
website at https://raft.github.io
LiangrunDa/research-work-archive
Finished theses
LiangrunDa/stateright
A model checker for implementing distributed systems.
LiangrunDa/tldraw-with-automerge