Repository Index

A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

• reactive
• distributed-systems
• concurrency
• high-performance

Cloud Native application framework for .NET

• actor-model
• distributed-actors
• distributed-systems
• cloud-computing

Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin

• grpc
• actor-model
• actors
• cross-platform

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

• erlang
• golang
• elixir
• supervisor

The P programming language.

• asynchronous
• programming-language
• systematic-testing
• event-driven

Blazingly fast and light-weight Actor engine written in Golang

• actor-model
• distributed-systems
• microservices
• fault-tolerance

Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin

• actors
• clustering
• proto-actor
• akka

Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

• actor-model
• cloud-native
• concurrency
• distributed-actors

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

[Go]Distributed Actor/Grain framework for Golang with goodies

• actor-model
• actors
• actorsystem
• golang

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

• raft
• verdi
• coq
• proof

Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language

• elixir
• elixir-lang
• distributed-systems
• hashing-algorithm