☆34Jan 26, 2025Updated last year
Alternatives and similar repositories for math-jit
Users that are interested in math-jit are comparing it to the libraries listed below
Sorting:
- Rust time library comparison - shootout to see which crate handles common tasks the best☆21Aug 18, 2025Updated 6 months ago
- A 32-bit CPU and Assembler☆22Jan 4, 2026Updated 2 months ago
- mdbook toolkit☆25Jan 18, 2026Updated last month
- POC of plugin that will be called `nvim-automa`☆12May 12, 2024Updated last year
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated last year
- ☆10Nov 7, 2022Updated 3 years ago
- RAILGUN Circuits V2☆24Sep 26, 2025Updated 5 months ago
- Virtual FAT16 implementation for embedded USB Mass Storage Device emulation☆12Oct 9, 2022Updated 3 years ago
- A local-first, terminal-based password manager built for people who care about security, simplicity, and control☆36Dec 31, 2025Updated 2 months ago
- Based Ethereum framework for writing tests in Rust☆12Dec 17, 2023Updated 2 years ago
- plugin☆10Mar 26, 2023Updated 2 years ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated 2 weeks ago
- Attribute to use on the `trait` methods (or associated functions) that you wish to "seal", a.k.a., render them `final`.☆15Apr 16, 2025Updated 10 months ago
- A GitHub Action to install the Rust compiler fork targeting Xtensa devices☆14Jan 13, 2026Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- Utilities to work with dyn [Async]Fn*☆18Dec 20, 2025Updated 2 months ago
- 🐱 Write programs to feed furry friends (aka rust devs).☆14Oct 27, 2025Updated 4 months ago
- Yet another string type for Rust☆93Jan 11, 2026Updated last month
- A high-level API for interacting with SMT solvers.☆33Dec 8, 2025Updated 2 months ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated last month
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 9 months ago
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated 11 months ago
- A high-performance, lock-free concurrent cuckoo filter implementation in Rust☆29Jan 25, 2026Updated last month
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- View tokio tracing JSON logs interactively and with proper hierarchies☆22Feb 25, 2026Updated last week
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- ☆18Jun 30, 2024Updated last year
- from RAGs to `riches.nvim`☆18Jan 16, 2025Updated last year
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.☆88Sep 8, 2024Updated last year
- Kari, an embeddable programming language, written in and for Rust☆29Jan 6, 2023Updated 3 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- Provides print! and println! implementations various Espressif devices☆19May 23, 2024Updated last year
- A beautiful terminal UI for exploring and managing your Homebrew packages with ease.☆127Nov 12, 2025Updated 3 months ago
- Making learning sh*t less annoying☆43Feb 1, 2025Updated last year
- Gas efficient Poseidon2 hash on EVM☆23Feb 14, 2026Updated 2 weeks ago
- GitHub's Neovim Repositories☆32Updated this week