andrejbauer/costa-surface
Triangulation of Costa's minimal surface with normals, suitable for PovRay rendering
Developer Profile
andrejbauer
Discovered public repositories for andrejbauer in the GitHub catalog.
andrejbauer/alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
andrejbauer/backup
Remote backups using ssh and rsync.
andrejbauer/book
A textbook on informal homotopy type theory
andrejbauer/plzoo
Programming Languages Zoo
andrejbauer/marshall
Real number computation software
andrejbauer/eff
A functional programming language based on algebraic effects and their handlers.
andrejbauer/HoTT
Homotopy type theory
andrejbauer/Homotopy
Homotopy theory in Coq.