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

Interactive Graphviz Dot Preview for Visual Studio Code

Course notes for Formalising Mathematics 2026

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

A static analysis tool for Lean 4.

Composing and deciphering C (or C++) declarations or casts, aka ‘‘gibberish.’’