TheophilusJohn

TheophilusJohn

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
0 Stars
0 Forks
0 Watchers

Repositories (1)

homonoia TheophilusJohn/homonoia TypeScript

Raft consensus, implemented as a pure function and visualized in the browser. Five nodes, a network you can break, and 1000 seeded runs asserting all five safety properties.

0