MyNixOS website logo
Description

Rigorous implicit-relation plotting: pixel rasters by interval arithmetic, and curves traced with a guaranteed topology.