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

Canonical actor model implementation for .NET with local + distributed actors in C# and F#.

• akka
• actor-model
• dotnet
• concurrency

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

• erlang
• golang
• elixir
• supervisor

Distributed lock for your scheduled tasks

The P programming language.

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

The C++ Standard Library for Parallelism and Concurrency

• c-plus-plus
• distributed
• cross-platform
• parallelism

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

List of Elixir books

• programming-elixir
• elixir
• programming-erlang
• erlang

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

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

• raft
• verdi
• coq
• proof

Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.

• scheme
• c
• lisp
• guile

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

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