A Bonsai_term application for interactively viewing strace output

Library for reducing tail latency in RAM reads

easy simd

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.

Enterprise-Grade OSS PostgreSQL Distribution with HA, PITR, IaC, Monitor, 12 kernel forks and 500+ PG extensions. Best-of-breed products integrated as a platform. Self-host Postgres like a Pro!

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A minimalist property-based testing library

Tokio Telemetry you can run in production

Shuttle is a library for testing concurrent Rust code

Interactive jq (mirror)

Linux kernel source tree

XDP cpumap redirect combined with TC bandwidth shaping

A library for graceful restarts in Rust

zero-dependency rust crate for generating and applying partial diffs between struct instances

PostgreSQL wire protocol implemented as a rust library.

A vibrant, orange-first Neovim colorscheme.

neovim frontend for opencode - a terminal-based AI coding agent

Interactive playground for exploring and sharing TLA+ specifications in the browser.

Slotmap data structure for Rust

Cypherpunks Hall of Fame

pg_lake: Postgres with Iceberg and data lake access

Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks

IRC application written in Rust

Count your code, quickly.

Network Security Micro-book

Accord library for Apache Cassandra®

Lower-latency OpenMP-style minimalistic scoped thread-pool designed for 'Fork-Join' parallelism in Rust and C++, avoiding memory allocations, mutexes, CAS-primitives, and false-sharing on the hot p…

A cross platform way to express data transformation, relational algebra, standardized record expression and plans.

Database-Backed Durable Golang Workflows