WebAssembly library, toolchain and runtime for eBPF programs

An io_uring backed runtime for Rust

Safe Rust bindings to POSIX-ish APIs

Typeset in place, perhaps.

Codex-native Academic Research Skills suite for human-in-the-loop academic research workflows

Academic Research Skills for Claude Code: research → write → review → revise → finalize

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

Touying is a powerful package for creating presentation slides in Typst.

Spec-driven development (SDD) for AI coding assistants.

Lightweight clipboard manager for macOS

A repository of wallpapers to be installed via Nix.

Creusot helps you prove your Rust code is correct.

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

A multi-agent research network for studying LLMs as collaborators, not soloists.

NIx Language server, an incremental analysis assistant for writing in Nix.

余白 / Yohaku — A typographic design system for written content. One accent, three neutral tiers, the rest is whitespace.

A kernel library written in tilelang

Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels

Compress LLM context to save tokens and reduce costs

The canonical spec for ulid

Chiba-Lang level1 bootstrap

Bindings around the platform's dynamic library loading primitives with greatly improved memory safety.

An open-source cross-platform alternative to AirDrop

The agent that grows with you

张雪峰.skill — 张雪峰的认知操作系统。高考志愿/考研/职业规划的实战思维框架。由女娲.skill生成。

Bad Apple but it's an ext-background-effect blur region

A simple game library for game development