A mathematical rendering engine for Rust. Every visual is the output of a mathematical function.
☆22Mar 31, 2026Updated 3 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:
- GraphQL C++ server library at simple way☆12Oct 28, 2020Updated 5 years ago
- Use Celery (an asynchronous task queue) with a schedule to read a file and print☆12Sep 10, 2021Updated 4 years ago
- Benchmark for hypervisor/sandboxing overhead☆12Dec 23, 2024Updated last year
- roundtrip-free Rust to JavaScript "remote method invocation" or "distributed objects" system☆14Jun 4, 2025Updated last year
- simd swiss table based map☆35May 9, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ansible Playbooks to deploy a set of OpenShift Cluster onto RHEV☆17Updated this week
- Converts a MIDI song into a picture☆17Mar 24, 2018Updated 8 years ago
- ☆11Dec 22, 2025Updated 6 months ago
- 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
- Unity Malware POC, Using unity's code signing to safely execute a payload☆15Jun 8, 2023Updated 3 years ago
- A pure-Rust library for VMware host-guest protocol ("VMXh backdoor")☆17May 20, 2026Updated 2 months ago
- A malware scanner with Yara and ClamAV binding☆12May 23, 2026Updated last month
- Osint tool to recover authors and emails on GitHub☆15Jul 2, 2025Updated last year
- This project aims to create multiple windows that synchronize data between themselves. This removes the limitation of the user having to …☆23Apr 23, 2026Updated 2 months 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.
- A De/CompressionStream for Bun☆14Jul 9, 2025Updated last year
- Write functional view components with incremental DOM render☆10Aug 3, 2016Updated 9 years ago
- A minimalistic logger for Windows Kernel Drivers.☆23Mar 8, 2024Updated 2 years ago
- MOVED TO GITLAB☆14Jul 15, 2017Updated 9 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
- Write retro video games in AssemblyScript.☆13Jan 23, 2025Updated last year
- A Rust compiler plugin to encrypt string literal at compile time.☆22Jun 10, 2025Updated last year
- Uninterpretable technical diagrams in the fashion of asemic writing. Generative art☆11Sep 30, 2020Updated 5 years ago
- 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.
- ⚙️ Java vs Kotlin comparison (CLBG benchmarks and static bytecode analysis) ⚙️☆10Jun 27, 2019Updated 7 years ago
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Mar 29, 2024Updated 2 years ago
- This project has moved☆11Sep 9, 2023Updated 2 years ago
- Example using Salt Stack to deploy a node.js/mongodb application from git☆14Jun 20, 2013Updated 13 years ago
- Tendermint + Sqlite3 = BFT Database Replication☆38Apr 16, 2018Updated 8 years ago
- Tree traversal and transform functions☆12Jun 7, 2015Updated 11 years ago
- Rust bindings for PANDA and libpanda☆24Dec 13, 2024Updated last year
- Apple-1 Emulator for ESP8266, ESP32 and Pico☆13Apr 23, 2026Updated 2 months ago
- This tool helps you automate testing of you rust application on CI.☆18Feb 15, 2022Updated 4 years 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.
- enforce representation/class invariants in your Rust data structures☆12Feb 11, 2023Updated 3 years ago
- A solution for installing curated, persona-based software suites on Linux PCs☆13May 4, 2019Updated 7 years ago
- Experimental Web Connectivity implementation☆11Nov 22, 2020Updated 5 years ago
- A simple Scratch-like gamedev tool that has its own scripting language also named Crust!☆15Dec 1, 2025Updated 7 months ago
- A template system for WordPress with content type loops and conditions☆13Jun 24, 2026Updated 3 weeks ago
- Script to execute code during/after a user scrolls.☆13Mar 23, 2015Updated 11 years ago
- A Javascript, Webassembly and C++ library for communicating with hardware in a Arduino style programming for any Linux platform.☆11Feb 15, 2020Updated 6 years ago