670 Open source projects that are alternatives of or similar to chapar

Reference sheet for the Coq language.

My Distributed Systems references

an implementation of Consistent Hashing in pure Ruby using an AVL tree

A general-purpose, distributed graph random walk engine.

Simple key-value storage with support for multiple backends.

Elastic sidechains

Simple shared surface streaming application

Assassin is a decentralized database that uses background threads to kill slow JavaScript.

Full-featured opensource small-overhead PHP data framework for Mysql built for fast and efficient development

distributed transaction service based on reliable msg，基于可靠消息的柔性分布式事务实现方案。

A framework to build components for high performance distributed applications.

Distributed Systems programming examples in the Go programming language.

Orbit - Virtual actor framework for building distributed systems

Distributed Learning by Pair-Wise Averaging

Coq plugin embedding elpi

The lightweight, distributed relational database built on SQLite

research, notes & ideas on various subjects

add-on to Akka Typed that tracks effects for use with Session Types

Proof of concept to generate safe and fast JavaScript

List of Elixir books

A Chinese version of MIT 6.824 (Distributed System)

Orleans is a cross-platform framework for building distributed applications with .NET

A mechanisation of Wasm in Coq

An adaptive accrual node failure detection library for Elixir and Erlang

pull and push configs in distributed configuration management service. migrated to go-archaius https://github.com/go-chassis/go-archaius/pull/87

Lethean Virtual Private Network (VPN)

Goose converts a small subset of Go to Coq

An agent library for systems of nested automata.

An easy to use task scheduler for distributed systems

Multi backend queues for Golang

😮 Core Interview Questions & Answers For Experienced Java(Backend) Developers | 互联网 Java 工程师进阶知识完全扫盲：涵盖高并发、分布式、高可用、微服务、海量数据处理等领域知识

💎 A collection of awesome training series, articles, videos, books, courses, sample projects, and tools for Microservices in .NET Core

nsq注释版基于0.3.7版本

nact ⇒ node.js + actors ⇒ your services have never been so µ

A Domain Driven Design framework for software simplicity in node

Trek is a CLI/ncurses explorer for HashiCorp Nomad clusters.

A framework for implementing and certifying impure computations in Coq

Clojure host/server for Tendermint's ABCI protocol.

Erlang Orleans

JavaScript Digital Organisms simulator

Haro is a modern immutable DataStore

Inter-Service communication framework, support for microservice architecture and distributed system

A curated list of awesome projects and resources related to the Substrate blockchain development framework.

Py4J enables Python programs to dynamically access arbitrary Java objects

Ltac2 tutorial

Distributed realtime messaging framework based on workerman.

Reactive Microservices for the JVM

LizardFS is an Open Source Distributed File System licensed under GPLv3.

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

🔬 Writing reliable & fault-tolerant microservices in Node.js https://hemerajs.github.io/hemera/

MySQL 学习笔记

A curated list to learn about distributed systems

🔥 Golang basics and actual-combat (including: crawler, distributed-systems, data-analysis, redis, etcd, raft, crontab-task)

Sandglass is a distributed, horizontally scalable, persistent, time sorted message queue.

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

Python implementation of the Raft algorithm for distributed consensus

Pure rust building block for distributed systems

A lightweight Peer to Peer Service Bus

Finite sets, finite maps, multisets and generic sets

An in-memory distributed database