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
- Play Live. Die. Repeat. for free today!☆17Jul 29, 2024Updated 2 years ago
- prediction market on lotionjs with tendermint☆12Sep 28, 2018Updated 7 years ago
- Rust microservice framework☆17Jan 13, 2024Updated 2 years ago
- simple lotion chat demo☆14Aug 23, 2017Updated 8 years ago
- 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.
- OxiONNX is a high-performance ONNX inference engine written in pure Rust. It supports 147 ONNX operators, GPU acceleration via wgpu, SIMD…☆17Updated this week
- A cryptographically secure password storage web-utility with distributed consensus using tendermint☆12Dec 19, 2016Updated 9 years ago
- browserifiable lotion light client☆15May 11, 2019Updated 7 years ago
- ☆17Mar 20, 2024Updated 2 years ago
- MessagePack serializer implementation for Rust / msgpack.org[Rust]☆24Feb 10, 2026Updated 6 months ago
- Use Celery (an asynchronous task queue) with a schedule to read a file and print☆12Sep 10, 2021Updated 4 years ago
- General factor graph solver in rust☆19May 18, 2026Updated 2 months ago
- Benchmark for hypervisor/sandboxing overhead☆12Dec 23, 2024Updated last year
- on-chain client code management for lotion☆18Oct 15, 2018Updated 7 years ago
- 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.
- Cross-platform audio playback and DSP effects library.☆19May 17, 2026Updated 2 months ago
- roundtrip-free Rust to JavaScript "remote method invocation" or "distributed objects" system☆14Jun 4, 2025Updated last year
- Example Nx Workspace using @nx-tools/nx-docker☆20Nov 3, 2025Updated 9 months ago
- A market for Emoji goods, to demonstrate global consistency in FaunaDB☆18Jan 23, 2023Updated 3 years ago
- std::io for no_std☆27May 5, 2026Updated 3 months ago
- ☆27Aug 1, 2026Updated last week
- Using Interledger, support content creators☆19Feb 12, 2019Updated 7 years ago
- A MOS 6502 superoptimizer☆28Jun 28, 2026Updated last month
- Rust bindings for osquery☆13May 9, 2024Updated 2 years 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.
- Gogs Git Server deployment on Kubernetes☆18Jan 10, 2019Updated 7 years ago
- Django db backend for SAP HANA☆20Feb 27, 2017Updated 9 years ago
- Terraform module to fetch any kind of artifacts using curl (binary and text okay)☆17Jun 24, 2025Updated last year
- A comprehensive library for handling FLAC files☆38Apr 24, 2026Updated 3 months ago
- Ansible Playbooks to deploy a set of OpenShift Cluster onto RHEV☆17Aug 3, 2026Updated last week
- A pure-Rust library for VMware host-guest protocol ("VMXh backdoor")☆17May 20, 2026Updated 2 months ago
- ETHDenver 2018.☆27Feb 18, 2018Updated 8 years ago
- A De/CompressionStream for Bun☆14Jul 9, 2025Updated last year
- This is an afternoon-project, a blockchain built in node, supporting PoW.☆21Mar 22, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Powerful tooltips for Bevy☆38Jun 20, 2026Updated last month
- An express app running angularJS, built through webpack and lazy-loaded assets☆23Jun 4, 2017Updated 9 years ago
- ☆42Nov 25, 2024Updated last year
- MOVED TO GITLAB☆14Jul 15, 2017Updated 9 years ago
- you might not need flux☆13Nov 11, 2015Updated 10 years ago
- A Large Action Model designed to operate on MacOS or Windows which interacts with common C2 interfaces such as Cobalt Strike, Havoc, or B…☆26Feb 29, 2024Updated 2 years ago
- Easy router for developing http services☆15Dec 21, 2016Updated 9 years ago