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:
- optimizing brainfuck compiler☆17Mar 22, 2025Updated 11 months ago
- Turns running Rust code into a serializable data structure.☆27Nov 8, 2022Updated 3 years ago
- Web Assembly low level implementation of pairing friendly curves.☆15Mar 13, 2026Updated last week
- ☆12Oct 4, 2023Updated 2 years ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 7 months ago
- rust sdk for zkWasm☆11Feb 11, 2026Updated last month
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 11 months ago
- ☆20Nov 3, 2025Updated 4 months ago
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 2 years ago
- Low-level OpenCL wrapper for Nim☆26Aug 15, 2024Updated last year
- Record and Replay for WebAssembly☆35Feb 14, 2026Updated last month
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Mar 13, 2026Updated last week
- Collections Library for Adapton, in Rust☆13Sep 1, 2017Updated 8 years ago
- BN254 Pairing Implementation in Noir☆23Aug 23, 2023Updated 2 years ago
- Retriever stores ordinary rust data types in a similar manner as a NoSQL database.☆46Apr 7, 2023Updated 2 years ago
- Delimited Generators - Minimal Delimited Control for JS☆13May 13, 2024Updated last year
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- A speedy, flexible router for Rust.☆13Updated this week
- Tool for debugging WebAssembly (like gdb).☆12Jan 25, 2023Updated 3 years ago
- RDF fact prover and proof validator operating on simple conjunctive rules.☆11Feb 28, 2026Updated 3 weeks ago
- Proof of concept extension of sendme to use global content discovery☆22Jan 17, 2025Updated last year
- A set of tooling of halo2 circuits verification in Move environments☆16Mar 11, 2026Updated last week
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- log plugin for vuejs,vue 日志插件☆14Jul 25, 2019Updated 6 years ago
- A wrapper for build.rs instructions☆16May 25, 2023Updated 2 years ago
- An example of distributed tracing an MCP enabled agent☆15Feb 14, 2026Updated last month
- Extendable HPC-Framework for CUDA, OpenCL and common CPU☆86Dec 28, 2019Updated 6 years ago
- ☆14Apr 19, 2022Updated 3 years ago
- High performance EraVM for zkSync.☆23Mar 13, 2026Updated last week
- ☆12Dec 16, 2025Updated 3 months ago
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 10 months ago
- ☆14Dec 9, 2022Updated 3 years ago
- ☆23Mar 8, 2024Updated 2 years ago
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago
- A procedural macro that generates chaining methods from non-chaining ones in an impl block.☆15Oct 30, 2018Updated 7 years ago