-
Stellar Development Foundation
- Washington
- http:https://www.losa.fr
Block or Report
Block or report nano-o
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
PaxosMadeSimple
PaxosMadeSimple PublicA TLA+ formalization of the algorithm described in "Paxos Made Simple"
-
-
-
Distributed-termination-detection
Distributed-termination-detection PublicTLA+ formalization of a distributed termination-detection algorithm, including a proof checked with Apalache
HTML 5
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.