Lean 4 programming language and theorem prover

A planetarium for your terminal! Explore stars, planets, constellations, and more, all rendered right in the command line—no telescope required. ✨🪐

🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows

Remote-control examples for our instruments. Here you find all ready-to-use example code scripts and projects.

A community-maintained Python framework for creating mathematical animations.