Stars
Freeware notebook interface for Wolfram Language written in Javascript
ALIEN is a CUDA-powered artificial life simulation program.
Lean 4 programming language and theorem prover
A fast linearizability checker written in Go 🔎
A model checker for implementing distributed systems.
Rapid is a modern Go property-based testing library
💻 A better and friendly vi(vim) mode plugin for ZSH.
Seekable ZSTD compression format implemented in Golang.
StatsHouse is a highly available, scalable, multitenant monitoring system
☕ GDBFrontend is an easy, flexible and extensible gui debugger.
Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…
clumsy makes your network condition on Windows significantly worse, but in a controlled and interactive manner.
🕶 Awesome list of distributed, decentralized, p2p apps and tools 👍
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
High-level, multiplatform C++ network packet sniffing and crafting library.
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
Curated list of resources on testing distributed systems
A framework for distributed systems verification, with fault injection
Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code
Header-only C++ library for JSON Schema validation, with support for many popular parsers
A General-purpose Task-parallel Programming System using Modern C++