windlass

windlass

Mohith26

A Raft implementation tested with a deterministic network simulator, a continuous safety-invariant checker, and a linearizability checker

0 Stars
0 Forks
0 Watchers
JavaScript Language
mit License
30 SrcLog Score
Cost to Build
$1.5K
Market Value
$500

Growth over time

1 data points  ·  2026-09-11 → 2026-09-11
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about windlass

Question copied to clipboard

What is the Mohith26/windlass GitHub project? Description: "A Raft implementation tested with a deterministic network simulator, a continuous safety-invariant checker, and a linearizability checker". Written in JavaScript. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone windlass

Clone via HTTPS

git clone https://github.com/Mohith26/windlass.git

Clone via SSH

[email protected]:Mohith26/windlass.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the windlass issue tracker:

Open GitHub Issues