Mattbusel

Mattbusel / proof-engine

Public

A mathematical rendering engine for Rust. Every visual is the output of a mathematical function.

12
3
100% credibility
Found Mar 29, 2026 at 12 stars -- GitGems finds repos before they trend. Get early access to the next one.
Sign Up Free
AI Analysis
Rust
AI Summary

Proof Engine is a particle-based rendering system where visuals emerge from mathematical equations, featuring a visual editor for placing glyphs, force fields, and entities.

How It Works

1
🔍 Spot the magic

You stumble upon mesmerizing videos of swirling galaxies and exploding supernovas made purely from math particles—no meshes or sprites.

2
📥 Grab the editor

Head to the releases page, download the ready-to-run editor app, and launch it with a double-click.

3
🖱️ Dive into the playground

Pan around the glowing grid with arrow keys, feeling the smooth camera movement in this infinite math canvas.

4
✨ Bring math to life

Click to place glowing symbols, swirling force fields, or pulsing entities that dance according to real equations like Lorenz attractors.

5
🎚️ Tweak and play

Drag to move things, slide colors and glows live, switch tools for particles or bursts, and watch destruction emerge naturally.

6
💾 Save your creation

Hit save to keep your scene, load presets like heartbeat or math rain, and share the infinite-resolution visuals.

🚀 Master of math visuals

Your scenes of disintegrating figures, infinite attractors, and cosmic phenomena run smoothly, proving math makes the best graphics.

Sign up to see the full architecture

5 more

Sign Up Free

Star Growth

See how this repo grew from 12 to 12 stars Sign Up Free
Repurpose This Repo

Repurpose is a Pro feature

Generate ready-to-use prompts for X threads, LinkedIn posts, blog posts, YouTube scripts, and more -- with full repo context baked in.

Unlock Repurpose
AI-Generated Review

What is proof-engine?

Proof-engine is a Rust-based rendering engine that generates visuals purely from mathematical functions—no meshes or sprites, just particles driven by physics like spring forces, attractors, and force fields. You build scenes by spawning glyphs, entities, or fields that evolve via real-time equations such as Lorenz or Rossler, producing effects like disintegrating humanoids or supernovas. Developers get a downloadable editor for live tweaking, JSON scene saves, and a library for embedding in apps, with examples like `cargo run --example galaxy` for instant math-driven demos.

Why is it gaining traction?

It stands out by making particles the universal primitive, enabling infinite-resolution destruction, fluids, and lighting that emerge naturally without separate systems—scale fidelity by cranking particle counts. The egui-powered editor offers undo/redo, asset browser, post-processing presets (cinematic, neon), and hotkeys for placing gravity wells or strange attractors. For Rust devs exploring mathematical visual proofs github repos or rendering mathematical formulas, it delivers playable prototypes faster than traditional engines.

Who should use this?

Rust game devs prototyping procedural worlds, simulations, or math art, especially those into mathematical modeling github tools or mathematical tours github. Proof engineering consultants building visualizers for mathematical statistics github or mathematical finance github dashboards. Indie creators eyeing mathematical visual proofs github for interactive demos, not pixel-perfect AAA graphics.

Verdict

With 11 stars and 1.0% credibility score, it's early-stage—docs are README-focused, no extensive tests—but the 460k-line scope and runnable editor make it worth a spin for math-heavy projects. Download the editor binary and try supernova; integrate as a lib if it fits your proof engineering workflow.

(198 words)

Sign up to read the full AI review Sign Up Free

Similar repos coming soon.