Proof Engine

English | 简体中文 | 日本語 | 한국어

Rust engine that draws math in real time.

40,000 Lorenz points in 1.21 ms per frame on one core.

• Moves points by equations: Lorenz and six other attractors.
• Draws them with HDR glow.
• Records a GIF of any demo.
• Ships 21 demos.
• Runs O'BLOCK, free on Steam.

cargo add proof-engine

No Rust? Download for Windows (.exe).

cargo run --release --example lorenz

Site · docs.rs · Demos · Install notes

License: MIT, see LICENSE.

More: docs/DETAILS.md