Sign in

Repository Index

61,275 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

4,105–4,128 of 6,612 · Most stars

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

Tap your MacBook lid: turn the display's edges into buttons using the built-in motion sensor. No extra hardware. macOS menu bar app.

  • accelerometer
  • apple-silicon
  • gestures
  • gyroscope

Implementation of RAFT consensus in .NET core

  • raft-consensus-algorithm
  • raft
  • raft-protocol
  • raft-algorithm

Simplify software testing, by easily mocking any system using HTTP/HTTPS, allowing a team to test and develop against a service that is not complete or is unstable or just to reproduce planned/edge cases.