Sign in

Repository Index

47,133 repositories indexed

Tag: Programming languages and compilers
Tag
Filters

Filters

Clear all filters

1–17 of 17 · Most stars

An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

  • erlang
  • golang
  • elixir
  • supervisor

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

  • raft
  • verdi
  • coq
  • proof