DiselDistributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Stars: ✭ 85 (-82.86%)
Verdi RaftAn implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Stars: ✭ 143 (-71.17%)
Dblib LinearFormalisation of the linear lambda calculus in Coq
Stars: ✭ 10 (-97.98%)
chaparA framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Stars: ✭ 29 (-94.15%)
coq-to-ocaml-to-jsProof of concept to generate safe and fast JavaScript
Stars: ✭ 25 (-94.96%)
IronCoq formalizations of functional languages.
Stars: ✭ 114 (-77.02%)
immIntermediate Memory Model (IMM) and compilation correctness proofs for it
Stars: ✭ 15 (-96.98%)
InfSeqExtA Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Stars: ✭ 12 (-97.58%)
RaftAn Elixir implementation of the raft consensus protocol
Stars: ✭ 369 (-25.6%)
CortxCORTX Community Object Storage is 100% open source object storage uniquely optimized for mass capacity storage devices.
Stars: ✭ 426 (-14.11%)
Fiat CryptoCryptographic Primitive Code Generation by Fiat
Stars: ✭ 359 (-27.62%)
GifeeGoogle's Infrastructure for Everyone Else
Stars: ✭ 370 (-25.4%)
ChroniclePublic append-only ledger microservice built with Slim Framework
Stars: ✭ 429 (-13.51%)
Kadence⚠️ KADENCE HAS MOVED TO GITLAB ⚠️
Stars: ✭ 363 (-26.81%)
HazelcastOpen-source distributed computation and storage platform
Stars: ✭ 4,662 (+839.92%)
OdinA programmable, observable and distributed job orchestration system.
Stars: ✭ 405 (-18.35%)
DragonboatDragonboat is a high performance multi-group Raft consensus library in pure Go.
Stars: ✭ 3,983 (+703.02%)
Ex hash ringA fast consistent hash ring implementation in Elixir.
Stars: ✭ 349 (-29.64%)
Math CompMathematical Components
Stars: ✭ 344 (-30.65%)
PysyncobjA library for replicating your python class between multiple servers, based on raft protocol
Stars: ✭ 468 (-5.65%)
DnpipesDistributed Named Pipes
Stars: ✭ 452 (-8.87%)
Libvineyardlibvineyard: an in-memory immutable data manager.
Stars: ✭ 392 (-20.97%)
CronhubCronHub is a better crontab, it is a web application which can schedule, monitor and control the crontabs of multiple machines from the web page.
Stars: ✭ 337 (-32.06%)
Platon GoGolang implementation of the PlatON protocol
Stars: ✭ 331 (-33.27%)
Gofer.netEasy C# API for Distributed Background Tasks/Jobs for .NET Core.
Stars: ✭ 383 (-22.78%)
WaltzWaltz is a quorum-based distributed write-ahead log for replicating transactions
Stars: ✭ 328 (-33.87%)
PgThis repo is the new home of Proof General
Stars: ✭ 367 (-26.01%)
Moleculer🚀 Progressive microservices framework for Node.js
Stars: ✭ 4,845 (+876.81%)
RaftRaft Consensus Algorithm
Stars: ✭ 370 (-25.4%)
DslabsDistributed Systems Labs and Framework
Stars: ✭ 461 (-7.06%)
SwimDistributed software platform for building stateful, massively real-time streaming applications.
Stars: ✭ 368 (-25.81%)
NuraftC++ implementation of Raft core logic as a replication library
Stars: ✭ 428 (-13.71%)
SparklerSpark-Crawler: Apache Nutch-like crawler that runs on Apache Spark.
Stars: ✭ 362 (-27.02%)
NsqA realtime distributed messaging platform (forked from https://github.com/nsqio/nsq)
Stars: ✭ 476 (-4.03%)
DiplomatA HTTP Ruby API for Consul
Stars: ✭ 358 (-27.82%)
Tendermint⟁ Tendermint Core (BFT Consensus) in Go
Stars: ✭ 4,491 (+805.44%)
CloudiA Cloud at the lowest level!
Stars: ✭ 352 (-29.03%)
ElasticellElastic Key-Value Storage With Strong Consistency and Reliability
Stars: ✭ 453 (-8.67%)
Rpc WebsocketsJSON-RPC 2.0 implementation over WebSockets for Node.js and JavaScript/TypeScript
Stars: ✭ 344 (-30.65%)
Awesome System DesignA curated list of awesome System Design (A.K.A. Distributed Systems) resources.
Stars: ✭ 4,999 (+907.86%)
L4vseL4 specification and proofs
Stars: ✭ 338 (-31.85%)
Scalecube ServicesScaleCube 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. its open and designed to accommodate changes. (no sidecar in a form of broker or any kind)
Stars: ✭ 482 (-2.82%)
NebulaNebula is a powerful framwork for building highly concurrent, distributed, and resilient message-driven applications for C++.
Stars: ✭ 385 (-22.38%)
SleuthA Go library for master-less peer-to-peer autodiscovery and RPC between HTTP services
Stars: ✭ 331 (-33.27%)
ErgoThe management of multiple apps running over different ports made easy
Stars: ✭ 452 (-8.87%)
JscoqA port of Coq to Javascript -- Run Coq in your Browser
Stars: ✭ 380 (-23.39%)
GokitGo Examples: From basics to distributed systems
Stars: ✭ 325 (-34.48%)
SherlockEasy distributed locks for Python with a choice of backends.
Stars: ✭ 323 (-34.88%)
ConductorConductor is a microservices orchestration engine.
Stars: ✭ 3,759 (+657.86%)
GaiaBuild powerful pipelines in any programming language.
Stars: ✭ 4,534 (+814.11%)
XgboostScalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow
Stars: ✭ 22,017 (+4338.91%)
NsqA realtime distributed messaging platform
Stars: ✭ 20,663 (+4065.93%)
Go AdvancedA small Vietnamese Go book compiled by ZaloPay teams.
Stars: ✭ 321 (-35.28%)
Dis Seckill👊SpringBoot+Zookeeper+Dubbo打造分布式高并发商品秒杀系统
Stars: ✭ 315 (-36.49%)
Ergoa Framework for creating mesh networks using technologies and design patterns of Erlang/OTP in Golang
Stars: ✭ 376 (-24.19%)
CoqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Stars: ✭ 3,566 (+618.95%)
JsGryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
Stars: ✭ 304 (-38.71%)
JockoKafka implemented in Golang with built-in coordination (No ZK dep, single binary install, Cloud Native)
Stars: ✭ 4,445 (+796.17%)
DsyncA distributed sync package.
Stars: ✭ 377 (-23.99%)