Rust rendering and game engine where every visual is math: glyphs and particles driven by strange attractors, force fields and spring physics, with OpenGL post-FX, synth audio, a scripting VM and an egui scene editor.
☆28Oct 4, 2026Updated this week
Alternatives and similar repositories for proof-engine
Users that are interested in proof-engine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple Vec-like API over a struct of arrays layout for Rust☆15Aug 14, 2019Updated 7 years ago
- GraphQL C++ server library at simple way☆12Oct 28, 2020Updated 5 years ago
- Rust microservice framework☆17Jan 13, 2024Updated 2 years ago
- ☆13Aug 12, 2026Updated last month
- Kubernetes service bindings utility☆15Aug 1, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- General factor graph solver in rust☆20Oct 1, 2026Updated last week
- SplitRS uses AST-based analysis to automatically refactor large Rust source files (>1000 lines) into well-organized, compilable modules.☆23Updated this week
- Real-time Claude Code usage monitor with native UI built using Rust and Makepad.☆24Jul 29, 2025Updated last year
- roundtrip-free Rust to JavaScript "remote method invocation" or "distributed objects" system☆14Jun 4, 2025Updated last year
- This is the web scraper and world file processor for the text2mc project☆19Nov 15, 2024Updated last year
- std::io for no_std☆27May 5, 2026Updated 5 months ago
- A MOS 6502 superoptimizer☆28Jun 28, 2026Updated 3 months ago
- Rust procedural macro to insert a few asm! calls full of junk instructions in between every line of code.☆13May 27, 2023Updated 3 years ago
- ☆18Mar 4, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A replicated state machine built atop S3.☆40Aug 31, 2026Updated last month
- A pure Rust library for simulating spin dynamics, spin current generation, and conversion phenomena in magnetic and topological materials…☆31Sep 16, 2026Updated 3 weeks ago
- Osint tool to recover authors and emails on GitHub☆15Jul 2, 2025Updated last year
- VoiRS is a cutting-edge Text-to-Speech (TTS), Voice Recognition, Sound framework that unifies high-performance crates from the cool-japan…☆46Sep 16, 2026Updated 3 weeks ago
- This project aims to create multiple windows that synchronize data between themselves. This removes the limitation of the user having to …☆24Apr 23, 2026Updated 5 months ago
- A De/CompressionStream for Bun☆14Jul 9, 2025Updated last year
- Write functional view components with incremental DOM render☆10Aug 3, 2016Updated 10 years ago
- you might not need flux☆13Nov 11, 2015Updated 10 years ago
- Write retro video games in AssemblyScript.☆13Jan 23, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Port of MicroCity to WASM-4☆11Feb 3, 2025Updated last year
- Waveform Monitor plugin for @tweakpane☆16Nov 25, 2023Updated 2 years ago
- yoshimi soft synth for web browsers☆18Oct 2, 2019Updated 7 years ago
- An HTML parser for Lezer☆17Apr 15, 2026Updated 5 months ago
- Zig compiler compiled to WASM☆20Apr 17, 2024Updated 2 years ago
- Uninterpretable technical diagrams in the fashion of asemic writing. Generative art☆12Sep 24, 2026Updated 2 weeks ago
- This project has moved☆11Sep 9, 2023Updated 3 years ago
- DEPRECATED! It is merged into @litejs/ui/polyfill☆11Jul 8, 2016Updated 10 years ago
- Tree traversal and transform functions☆12Jun 7, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rust bindings for PANDA and libpanda☆25Dec 13, 2024Updated last year
- Apple-1 Emulator for ESP8266, ESP32 and Pico☆13Apr 23, 2026Updated 5 months ago
- Rule Engine for Dynamic Malware Analysis and Research☆25Apr 16, 2025Updated last year
- Arduino emulation library for 8-bit microcomputers based on 6502, i8080 or z80☆17Updated this week
- ☆12Oct 15, 2016Updated 9 years ago
- Night mode for the web☆16Sep 11, 2016Updated 10 years ago
- A `cat` like tool for displaying multiple files with fenced delimiters.☆15Feb 17, 2026Updated 7 months ago