A cat(1) clone with wings.

An extremely fast Python linter and code formatter, written in Rust.

Scalable datastore for metrics, events, and real-time analytics

Spotify for the terminal written in Rust 🚀

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

GritQL is a query language for searching, linting, and modifying code.

A fast, feature-rich static code analyzer & language server for Python

A modern Prolog implementation written mostly in Rust.

Distributed Stockfish analysis for lichess.org

Webservice to render Gifs of chess positions and games, and stream them frame by frame