Rust bindings to the Halide runtime
☆20Apr 11, 2023Updated 2 years ago
Alternatives and similar repositories for halide-runtime
Users that are interested in halide-runtime are comparing it to the libraries listed below
Sorting:
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- Web Assembly low level implementation of pairing friendly curves.☆15Feb 10, 2026Updated 2 weeks ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- rust sdk for zkWasm☆11Feb 11, 2026Updated 2 weeks ago
- ☆12Oct 4, 2023Updated 2 years ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- optimizing brainfuck compiler☆17Mar 22, 2025Updated 11 months ago
- Local shell commands for the Bevy game engine☆19Jan 23, 2026Updated last month
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- ☆20Nov 3, 2025Updated 3 months ago
- A set of tooling of halo2 circuits verification in Move environments☆16Feb 14, 2026Updated 2 weeks ago
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 2 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Updated this week
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 10 months ago
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated 2 months ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- ☆24Mar 2, 2025Updated last year
- Turns running Rust code into a serializable data structure.☆27Nov 8, 2022Updated 3 years ago
- ☆23Jun 12, 2025Updated 8 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated 11 months ago
- ☆32Jun 25, 2025Updated 8 months ago
- High performance EraVM for zkSync.☆23Feb 20, 2026Updated last week
- Low-level OpenCL wrapper for Nim☆26Aug 15, 2024Updated last year
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- ☆23Mar 8, 2024Updated last year
- ☆25Jan 29, 2026Updated last month
- Official code for the paper "Examining Post-Training Quantization for Mixture-of-Experts: A Benchmark"☆29Jun 30, 2025Updated 8 months ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Dec 19, 2024Updated last year
- ☆33Sep 22, 2023Updated 2 years ago
- ☆31Oct 27, 2025Updated 4 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- ☆27May 20, 2022Updated 3 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- Benchmark of ZKVMs and Proving Schemes☆32Dec 12, 2025Updated 2 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Oct 18, 2024Updated last year
- ☆30Sep 19, 2022Updated 3 years ago
- customizable halo2 circuits batcher☆31Oct 25, 2025Updated 4 months ago
- Ray Tracing on Metal / macOS☆28Apr 15, 2025Updated 10 months ago