Warp is an agentic development environment, born out of the terminal.

Only the best Claw level editor in the world.

The 2013 edition of the Source SDK

A cross-platform command-line utility that creates projects from cookiecutters (project templates), e.g. Python package projects, C projects.

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

Docker image that includes Wine and Winetricks for running Windows applications on Linux and macOS

An X11 server and client libraries for macOS

MapleStory Client built on Wasm playable on the web

A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]

The HOL Light theorem prover

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Incremental merge for git

A Low Barrier Proof Assistant

Create beautiful diagrams just by typing notation in plain text.

tool for turning Lean proofs into Blender animations

A verification toolchain for Rust programs

Kani Rust Verifier

Typed interactions with the GitHub API v3

Karabiner-Elements is a powerful tool for customizing keyboards on macOS

The official Espanso's package repository

Move and resize windows on macOS with keyboard shortcuts and snap areas