Repository Index

Next generation API for .NET

• reflection
• raft
• raft-consensus
• raft-consensus-algorithm

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

• raft
• verdi
• coq
• proof

state machine which runs code

• golang
• workflows
• state-machine
• actor-model