| key | value |
|---|---|
| id | 69508239 |
| name | verdi-raft |
| full_name | uwplse/verdi-raft |
| html_url | https://github.com/uwplse/verdi-raft |
| description | An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework |
| created_at | Sept. 28, 2016, 10:18 p.m. |
| updated_at | Nov. 9, 2024, 6:47 p.m. |
| pushed_at | Dec. 8, 2023, 2:05 p.m. |
| size | 3,100 |
| stargazers_count | 183 |
| watchers_count | 55 |
| forks_count | 19 |
| open_issues | 15 |
| language | Coq |
| awesome_list |