Languages
Developers
Countries
Repos
Topics
Repos by ongardie
ongardie
/ repos
23 repos
«
1
2
3
»
Repo
Language
Stars
Rank
dissertation
TeX
959
144
raftscope
JavaScript
633
10,426
raft.tla
TLA
439
5
diskbenchmark
C
90
15,618
raft-pseudocode
Python
19
217,899
cubicle
Rust
11
32,699
runway-model-raft
JavaScript
10
291,072
availsim
Rust
10
36,121
ark
Go
10
70,056
raft-talk
HTML
8
72,495