A Dolev-Yao-model-guided fuzzer for TLS

AirPods liberated from Apple's ecosystem.

Terminal session recorder, streamer and player 📹

⬛️ CLI tool and library for saving complete web pages as a single HTML file

The Libertinus font family

A tool to extract code content from source files using the clang and LLVM infrastructure.

QEMU fork

A novel data compression framework

Müsli is a flexible and efficient serialization framework

Cap'n Proto serialization/RPC system - core tools and C++ library

Graceful process restarts in Go

Graceful process restarts in Rust

A lightweight and high-performance reverse proxy for NAT traversal, written in Rust. An alternative to frp and ngrok.

a Python library for running child processes

Connect, secure, control, and observe services.

A game theoretic approach to explain the output of any machine learning model.

Static analysis for GitHub Actions

tiktoken tokenizer for postgres

⚡ Better `pre-commit`, re-engineered in Rust

It's a New Kind of Wrapper for Exposing LLVM (Safely)

The Modular Platform (includes MAX & Mojo)

NixOS MicroVMs

Secure and fast microVMs for serverless computing.

A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)

Advanced data visualization with Typst.

Draw elegant metro maps with ease

The Best Library: a C++ STL replacement