andrejbauer/costa-surface
Triangulation of Costa's minimal surface with normals, suitable for PovRay rendering
A functional programming language based on algebraic effects and their handlers.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Triangulation of Costa's minimal surface with normals, suitable for PovRay rendering
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
Remote backups using ssh and rsync.
A textbook on informal homotopy type theory