A mathematical rendering engine for Rust. Every visual is the output of a mathematical function.
☆26Mar 31, 2026Updated 4 months ago
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:
- Unofficial cosmic text widget and utilities for egui☆13Sep 22, 2024Updated last year
- MessagePack serializer implementation for Rust / msgpack.org[Rust]☆24Feb 10, 2026Updated 6 months ago
- Benchmark for hypervisor/sandboxing overhead☆12Dec 23, 2024Updated last year
- Cross-platform audio playback and DSP effects library.☆18May 17, 2026Updated 3 months ago
- Example Nx Workspace using @nx-tools/nx-docker☆19Nov 3, 2025Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- simd swiss table based map☆35May 9, 2026Updated 3 months ago
- ☆28Aug 1, 2026Updated 3 weeks ago
- A MOS 6502 superoptimizer☆28Jun 28, 2026Updated 2 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
- A comprehensive library for handling FLAC files☆39Updated this week
- retrobob is a retro gaming emulator that runs directly on your browser. Super Nintendo, NES/Famicom, Gameboy and Gameboy Color are curren…☆11Mar 25, 2024Updated 2 years ago
- A pure-Rust library for VMware host-guest protocol ("VMXh backdoor")☆17May 20, 2026Updated 3 months ago
- A malware scanner with Yara and ClamAV binding☆12May 23, 2026Updated 3 months ago
- Osint tool to recover authors and emails on GitHub☆15Jul 2, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Quickly calculate the size of a folder or disk on macOS and Linux☆30Oct 31, 2022Updated 3 years ago
- This project aims to create multiple windows that synchronize data between themselves. This removes the limitation of the user having to …☆23Apr 23, 2026Updated 4 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
- MOVED TO GITLAB☆14Jul 15, 2017Updated 9 years ago
- you might not need flux☆13Nov 11, 2015Updated 10 years ago
- Repo with examples of building a Preact app using various bundlers☆17Oct 5, 2023Updated 2 years ago
- Write retro video games in AssemblyScript.☆13Jan 23, 2025Updated last year
- Firn — fast Go bindings for Polars☆18Apr 21, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Port of MicroCity to WASM-4☆10Feb 3, 2025Updated last year
- Waveform Monitor plugin for @tweakpane☆16Nov 25, 2023Updated 2 years ago
- yoshimi soft synth for web browsers☆18Oct 2, 2019Updated 6 years ago
- An HTML parser for Lezer☆17Apr 15, 2026Updated 4 months ago
- Zig compiler compiled to WASM☆20Apr 17, 2024Updated 2 years ago
- ⚙️ Java vs Kotlin comparison (CLBG benchmarks and static bytecode analysis) ⚙️☆10Jun 27, 2019Updated 7 years ago
- This project has moved☆11Sep 9, 2023Updated 2 years ago
- DEPRECATED! It is merged into @litejs/ui/polyfill☆11Jul 8, 2016Updated 10 years ago
- ☆14Jan 22, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tree traversal and transform functions☆12Jun 7, 2015Updated 11 years ago
- Scripts to create, manage and backup Wordpress on Podman.☆10Nov 28, 2023Updated 2 years ago
- Rust bindings for PANDA and libpanda☆24Dec 13, 2024Updated last year
- 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☆16Updated this week
- This tool helps you automate testing of you rust application on CI.☆18Feb 15, 2022Updated 4 years ago
- Eaisly and quickly create: Web applications w/ React + Babel + HMR -or- Electron apps w/ React + Babel☆12Jan 5, 2016Updated 10 years ago