proof-engine 0.3.1

Real-time graphics from math: glyphs and particles moved by ODEs, strange attractors and force fields, drawn with HDR bloom on OpenGL.
Documentation
1
2
3
4
5
6
7
// The Lorenz system (1963): a toy model of convection, and the first
// strange attractor. Edit sigma, rho or beta and save to see it change.
let sigma = 10.0;
let rho = 28.0;
let beta = 8.0 / 3.0;

[sigma * (y - x), x * (rho - z) - y, x * y - beta * z]