APALACHE: symbolic model checker for TLA+ and Quint

The Z3 Theorem Prover

LazyLog: A New Shared Log Abstraction for Low-Latency Applications

Protocol buffer files for TiKV

A native gRPC client & server implementation with async/await support.

The `io_uring` library for Rust

The analytical engine for TiDB and TiDB Cloud. Try free: https://tidbcloud.com/free-trial

Build userspace NVMe drivers and storage applications with CUDA support

Yahoo! Cloud Serving Benchmark

A Model Context Protocol server that executes commands in the current iTerm session - useful for REPL and CLI assistance

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Run agents like Hermes and OpenClaw more securely inside NVIDIA OpenShell with managed inference

Linux Kernel Programming 2E - published by Packt

Limited DNS server with RESTful HTTP API to handle ACME DNS challenges easily and securely.

information-theoretic asynchronous BFT

A lightweight and multi-language library for byzantine fault tolerance

Concord byzantine fault tolerant state machine replication library

THIS IS A READ-ONLY historic repository. Current development is at https://gerrit.hyperledger.org/r/#/admin/projects/fabric . pull requests not accepted

BEAT: Asynchronous BFT Made Practical

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

A framework for distributed systems verification, with fault injection

Pluggable framework for building Verifiable Credentials ecosystems

Implementation of the HotStuff consensus protocol.

Advanced configuration options for sockets.