A post-modern modal text editor.

Anki is a smart spaced repetition flashcard program

Sampling profiler for Python programs

Sketch and take handwritten notes.

Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.

Convert your ascii diagram scribbles into happy little SVG

egg is a flexible, high-performance e-graph library

📦 Pack and unpack conda environments created with pixi