BOTIROFF-D

BOTIROFF-D

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
0 Stars
0 Forks
0 Watchers

Repositories (1)

bulwark BOTIROFF-D/bulwark TypeScript

Raft consensus in TypeScript, held up by deterministic simulation: seeded partitions and crashes, the paper's five safety properties checked continuously, and every client history verified linearizable

0