Unicode routines (UTF8, UTF16, UTF32) and Base64: billions of characters per second using SSE2, AVX2, NEON, AVX-512, RISC-V Vector Extension, LoongArch64, POWER. Part of Node.js, WebKit/Safari, Lad…

A smarter cd command. Supports all major shells.

A Python pickling decompiler and static analyzer

Attempts at fuzzing Python unpicklers

alternate nix substitution

KaRaMeL is a tool for extracting low-level F* programs to readable C code

A Proof-oriented Programming Language

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

Public repository for Agent Skills

Macintosh Official Python.org Updater

pod that scales down to zero

An AI-powered security review GitHub Action using Claude to analyze code changes for security vulnerabilities.

Fast parallel random access to bzip2 and gzip files in Python

Gzip Decompression and Random Access for Modern Multi-Core Machines

NextDNS CLI client (DoH Proxy)

mold: A Modern Linker 🦠

An idiomatic, lean, fast & safe pure Rust implementation of Git

Count your code, quickly.

Python logging made (stupidly) simple

Simplified executable deployment

Re-Connectable secure remote shell

pyref.dev is a fast, convenient way to access Python reference docs

Stall tracking for Python's GIL and Trio tasks

Python conference talks

Reindeer is a tool to transform Rust Cargo dependencies into generated Buck build rules

JetKVM - Control any computer remotely

A tool for exploring each layer in a docker image

An implementation of the meson build system in c99