Generate and parse UUIDs.

A native implementation of ØMQ in Rust

Language server for Odin

Review-first terminal diff viewer for agentic coders

The command line vault (Windows, macOS, & Linux).

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

A shared-nothing, thread-per-core concurrency framework. Designed for massive concurrency because There Is No Alternative (TINA)

A very fast linker for Linux

OpenBao is a software solution to manage, store, and distribute sensitive data including secrets, certificates, and keys.

eBPF-based Networking, Security, and Observability

CIRCL: Cloudflare Interoperable Reusable Cryptographic Library

C99 library for PO-32 acoustic transfers and drum synthesis.

Air is an easy-to-use, secure messenger for chatting 1:1 and in groups.

Pure rust bindings to io_uring. No libc.

A model-based testing framework for Quint + Rust

Cryptography library for Gleam targeting Erlang and JavaScript

A Proof-oriented Programming Language

HACL*, a formally verified cryptographic library written in F*

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

The Software Analysis Workbench

Foqos allows you to lock apps behind the tap of a NFC tag or scan of a QR code. Free and open source alternative to Brick, Opal, Unpluq, Blok and more!

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

A 21st century LaTeX wrapper

A 5-20x faster experimental Homebrew alternative

Deployments of fancy cryptography

Cross-platform embeddable sandboxing

Capability-based sandboxes with fine-grained policies . Brokering access directly within the agent's operating context, with zero setup and zero latency

A fully open source & end-to-end encrypted note taking alternative to Evernote.