A GDB frontend for Lïnux.

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 tool for gathering and visualizing kernel scheduling traces on Linux machines

💻 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

KPHP — a PHP compiler

🧘 Distraction-free coding for Neovim

A simple 6502 assembler written in Rust

A distributed C++ compiler: like distcc, but faster

Fully Decentralized Fully Replicated Key/Value Store

Unified Executors

A new bootable USB solution.

☕ GDBFrontend is an easy, flexible and extensible gui debugger.

Lf integration in vim and neovim

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