Pinned Repositories
alluxio
Alluxio, formerly Tachyon, Unify Data at Memory Speed
crdt-experiment
Examples
A collection of TLA+ specifications of varying complexities
Paxos-Refinement
Using TLA+ to verify paxos in a hierarchical structure.
PaxosStore-tla
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
paxosstore-tlaps
theorem proving of paxosstore using tlaps
Tencent-Paxos-TLA
Specification of the consensus algorithm in Tencent storage system PaxosStore
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlaplus-lamport-projects
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
TPaxosExperiment
Starydark's Repositories
Starydark/PaxosStore-tla
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
Starydark/Tencent-Paxos-TLA
Specification of the consensus algorithm in Tencent storage system PaxosStore
Starydark/paxosstore-tlaps
theorem proving of paxosstore using tlaps
Starydark/Paxos-Refinement
Using TLA+ to verify paxos in a hierarchical structure.
Starydark/TPaxosExperiment
Starydark/alluxio
Alluxio, formerly Tachyon, Unify Data at Memory Speed
Starydark/crdt-experiment
Starydark/Examples
A collection of TLA+ specifications of varying complexities
Starydark/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Starydark/tlaplus-lamport-projects
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
Starydark/DMPratice
Starydark/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
Starydark/libco
libco is a coroutine library which is widely used in wechat back-end service. It has been running on tens of thousands of machines since 2013.
Starydark/paper-notes
Paper Notes
Starydark/protobuf
Protocol Buffers - Google's data interchange format
Starydark/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Starydark/snappy
A fast compressor/decompressor
Starydark/tlaps-examples
Examples for TLAPS (TLA+ Proof System)
Starydark/Todo
ionic