Command-Line Interface (CLI) World for WASI

WASI API proposal for managing sockets

I/O Types proposal for WASI

Neural Network proposal for WASI

How can we build a true AI agent? Like Claude Code.

Get 10X more out of Claude Code, Codex or any coding agent

Chrome DevTools for coding agents

Beads - A memory upgrade for your coding agent

OpenProject is the leading open source project management software.

A relative time formatting library, with no code.

Writing java using only annotations??

Allows of newer clients to connect to older server versions for Minecraft servers.

Minimal plugin that lets Claude Code call you on the phone.

wax is a fast Homebrew-compatible package manager, built in Rust.

A plugin for note-taking app Obsidian which allows you to treat any file extension as markdown note-file

Claude Code superpowers: core skills library

A fully-searchable and accessible archive of court data including growing repositories of opinions, oral arguments, judges, judicial financial records, and federal filings.

Your own personal AI assistant. Any OS. Any Platform.

Mod manager for universal game mods

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Terminal file manager

vim match-up: even better % 👊 navigate and highlight matching words 👊 modern matchit and matchparen. Supports both vim and neovim + tree-sitter.

A multi-shell completion library.

🌺 [ Dream Emacs 💜 ] My GNU🐮 Emacs configuration.

An HTTP/1.1 client, written from scratch for Node.js

Queue-Based State Machine - A lightweight workflow execution engine with DAG-based stage orchestration.

Lean 4 programming language and theorem prover

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

🕵️‍♂️ All-in-one OSINT tool for analysing any website