Pinned Repositories
algorithm
astro-theme-bored
Examples
A collection of TLA⁺ specifications of varying complexities
go-ethereum
Go implementation of the Ethereum protocol
mini-lsm
A tutorial of building an LSM-Tree storage engine in a week!
miniob
MiniOB is a compact database that assists developers in understanding the fundamental workings of a database.
orthur2
paxos
Public
redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
orthur2's Repositories
orthur2/algorithm
orthur2/astro-theme-bored
orthur2/Examples
A collection of TLA⁺ specifications of varying complexities
orthur2/go-ethereum
Go implementation of the Ethereum protocol
orthur2/mini-lsm
A tutorial of building an LSM-Tree storage engine in a week!
orthur2/miniob
MiniOB is a compact database that assists developers in understanding the fundamental workings of a database.
orthur2/orthur2
orthur2/paxos
orthur2/Public
orthur2/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
orthur2/tinykv
A course to build distributed key-value service based on TiKV model
orthur2/tinysql
A course to build the SQL layer of a distributed database.