CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Repository Index
47,133 repositories indexed
73–96 of 109 · Most stars
A distributed MySQL binlog storage system built on Raft
- mysql
- raft
- golang
- mysql-binlog
Simple + Powerful interface to the Mnesia Distributed Database 💾
- elixir
- erlang
- otp
- mnesia
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
RedisSMQ: A high-performance Redis message queue for Node.js
- redis
- background-jobs
- brokers
- dead-letter-queue
The management of multiple apps running over different ports made easy
- proxy
- tools
- golang
- proxy-server
Microservices library - scalecube-services is a high throughput, low latency reactive microservices library built to scale. It features: API-Gateways, service-discovery, service-load-balancing, the architecture supports plug-and-play service communication modules and features. built to provide performance and low-latency real-time stream-processing
- microservices
- reactive-streams
- distributed-systems
- service-mesh
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
JSON-RPC 2.0 implementation over WebSockets for Node.js and JavaScript/TypeScript
- rpc-api
- rpc-framework
- rpc-client
- rpc-server
Easy C# API for Distributed Background Tasks/Jobs for .NET Core.
- netcore
- csharp
- aspnet
- netstandard
A platform for packaging and launching blockchain infra. Think docker compose for blockchain
- devops
- docker
- docker-compose
- environment
[Go]Distributed Actor/Grain framework for Golang with goodies
- actor-model
- actors
- actorsystem
- golang
A Go library for master-less peer-to-peer autodiscovery and RPC between HTTP services
- service-autodiscovery
- peer-autodiscovery
- zeromq
- golang
Spawn - Actor Mesh
- actorsystem
- concurrency
- distributed-systems
- kubernetes
Distributed C++ services from embedded to enterprise
A lightweight Peer to Peer Service Bus
- bus
- peer-to-peer
- c-sharp
- distributed-systems
In-memory key-value server in Rust that speaks RESP, so redis-cli and Redis clients connect. Locks, rate limits, job queues and a change feed are single commands; Raft-based failover. Clients for Rust, .NET, Go, Java, Python and Node.js.
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
A library that implements the outboxer pattern in go
- go
- resiliency
- distributed-systems
Ratus is a RESTful asynchronous task queue server. It translated concepts of distributed task queues into a set of resources that conform to REST principles and provides a consistent HTTP API for various backends.
- distributed-systems
- priority-queue
- task-queue
- task-scheduler
From Idea to Execution - Manage your trading operation across a distributed cluster
- trading
- cryptocurrency
- crypto-trading
- elixir
Serverless ML Framework
A one-stop solution for moderating discussions and Q&As.
- distributed-systems
- events
- realtime
- rust
High-performance Distributed Command Pattern (DCP) for Go
- command-pattern
- distributed-systems
- golang
- high-performance