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
8
9
10
11
12
13

// The Aizawa attractor: a sphere-like shell pierced by a tube.
let a = 0.95;
let b = 0.7;
let c = 0.6;
let d = 3.5;
let e = 0.25;
let f = 0.1;

[
    (z - b) * x - d * y,
    d * x + (z - b) * y,
    c + a * z - z * z * z / 3.0 - (x * x + y * y) * (1.0 + e * z) + f * z * x * x * x,
]