el10savio / GoPaxos
Paxos Made Simple
☆18Updated last year
Related projects ⓘ
Alternatives and complementary repositories for GoPaxos
- Fuzz Testing for the github.com/hashicorp/raft library☆29Updated last year
- go implementation of anchorhash☆15Updated 4 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆60Updated 4 years ago
- A pluggable implementation of the Paxos Consensus Protocol☆20Updated 7 years ago
- Verified, concurrent, crash-safe transaction system☆53Updated 4 months ago
- A Usermode Hookable Filesystem Library☆46Updated 5 years ago
- ☆13Updated last month
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆14Updated 2 months ago
- VectorSQL is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.☆14Updated 4 years ago
- Explore JIT in TiDB☆28Updated 2 years ago
- Go implementation of a Hash Array Map Trie☆25Updated 4 years ago
- ☆12Updated 4 years ago
- SkeletonDB is a lock-less thread safe in memory MVCC store written in Go.☆23Updated 7 years ago
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago
- File Structures (B+Tree, BTree) for Go☆70Updated 9 years ago
- Go API client for arxiv.org☆17Updated 2 years ago
- ☆16Updated 4 months ago
- Fast, lock-free, arena-based Skiplist implementation in Go that supports iteration in both directions.☆41Updated 4 years ago
- Fast Database engine in Go.☆16Updated 4 years ago
- A playground to experiment with Raft proposal pipeline optimization☆17Updated 2 years ago
- RocksDB/LevelDB inspired key-value database in Go☆10Updated 4 years ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- Nearly generic prime field implementation in Go☆24Updated 4 years ago
- implements invertible bloom filters in golang☆17Updated 4 years ago
- TLA+ description for the CAS-Paxos algorithm☆12Updated 7 years ago
- Package ikitai is an optimizing just-in-time compiler for SSA-transformed Go.☆17Updated 4 years ago
- CockroachDB with pre-generated Go code☆33Updated 8 months ago
- 完成6/7,有半成品文档(文档留有大量TODO)☆12Updated 6 years ago
- Prototype implementation of SwiftPaxos (NSDI 2024)☆14Updated 7 months ago