Empowering everyone to host fast and efficient Minecraft servers.

FamiStudio NES Music Editor

Run Windows software and games on Linux

Intuitive find & replace CLI (sed alternative)

MP3 decoding library in pure Rust

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

View Source, but for terminal escape sequences

An open source book discussing Adaptive Democracy.

Rich is a Python library for rich text and beautiful formatting in the terminal.

Source code spell checker

Advent of Code CLI for reading, running and submitting.

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

Q&A-based community knowledge-sharing software

On undoing, fixing, or removing commits or mistakes in git