Distributed systems
Getting a million users is infinitely harder than scaling a system to handle a million users. Most systems could run comfortably on a Raspberry Pi
Træfik - Modern HTTP reverse proxy and load balancer that makes deploying microservices easy.
Kit - Standard library for microservices written in Go.
Kong - Cloud-Native API Gateway & Service Mesh.
Disque - Distributed message broker.
Mesh - Tool for building distributed applications.
Raft - Raft distributed consensus algorithm implemented in Rust.
libp2p specification - Technical specifications for the libp2p networking stack.
Qri - Global dataset version control system (GDVCS) built on the distributed web.
Project Oak - Meaningful control of data in distributed systems.
mudb - Collection of modules for building realtime client-server networked applications.
Verdi - Framework for formally verifying distributed systems implementations in Coq.
PingCAP Talent Plan - Series of training courses about writing distributed systems in Go and Rust.
Protocol Labs - Build protocols, systems, and tools to improve internet.
Dark Crystal - Open source R&D affinity. Exploring the potential of new and existing technologies in crypto-space to encourage horizontal group collaboration.
Protozoa - Web developers, facilitators, crypto-engineers. Experts in Node.js & distributed systems.
Akka - Build highly concurrent, distributed, and resilient message-driven applications on the JVM.
Distributed Components - Provides reusable infrastructure for formally verifying distributed systems using the Coq proof assistant.
