Lean 4 programming language and theorem prover

The math library of Lean 4

A markup-based typesetting system that is powerful and easy to learn.

Empowering everyone to build reliable and efficient software.

Open-source keyboard firmware for Atmel AVR and Arm USB families

An extremely fast Python package and project manager, written in Rust.

A scrollable-tiling Wayland compositor.

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

A refreshingly simple data-driven game engine built in Rust

LLM-powered system that discovered 62 zero-day vulnerabilities across 26 open source projects. 4th place, DARPA AIxCC.

A Spotify player in the terminal with full feature parity

GoGaucho WebApp

A Git-compatible VCS that is both simple and powerful

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

Powerful, mature open-source cross-platform game engine for Python and C++, developed by Disney and CMU

A modern alternative to ls

Godot Engine – Multi-platform 2D and 3D game engine

Interactive find-and-replace in the terminal

Anki is a smart spaced repetition flashcard program

Packages for Typst.

Secret Forum

Transforms complex documents like PDFs into LLM-ready markdown/JSON for your Agentic workflows.

PhotonVision is the free, fast, and easy-to-use computer vision solution for the FIRST Robotics Competition.

Programming languages

Rust-based platform for the Web

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

A Lean companion to Analysis I

A free and strong UCI chess engine

simple terminal UI for git commands

An Open-Source Python3 tool with SMALL models for recognizing layouts, tables, math formulas (LaTeX), and text in images, converting them into Markdown format. A free alternative to Mathpix, empowe…