Autoparallel / learnerLinks
Making learning sh*t less annoying
☆42Updated 5 months ago
Alternatives and similar repositories for learner
Users that are interested in learner are comparing it to the libraries listed below
Sorting:
- ☆15Updated 10 months ago
- Modern, idiomatic, well documented abstract algebra for Rust☆56Updated 3 months ago
- ☆24Updated last month
- Zig EVM☆32Updated 6 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆53Updated 3 months ago
- ☆52Updated last month
- Procedural macro for automatically implementing metrics description and initialization.☆23Updated 3 months ago
- a Rust-native multi-agent coordination layer.☆27Updated this week
- Honk Verifier in Solidity☆50Updated 9 months ago
- barretenburg in rust (here we go)☆98Updated last year
- ☆52Updated 3 weeks ago
- client side proving☆33Updated 4 months ago
- Typestate interface for revm☆80Updated 2 weeks ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆33Updated 8 months ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆58Updated last month
- A smart-contract api and client for revm☆17Updated last year
- Rust implementation of KZG point evaluation☆33Updated last month
- Implementation of ethereum's `ssz`☆106Updated 9 months ago
- ☆38Updated this week
- Macros + Primitives for PADE format☆29Updated last week
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 8 months ago
- Solidity contracts for a next-gen rollup system.☆66Updated 7 months ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 2 months ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- A curated list of resources on zkECDSA☆35Updated last year
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆33Updated last week
- PoC of Revm execution in SGX☆80Updated last year
- A library for fast NTTs over the Goldilocks prime field☆79Updated 9 months ago
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆45Updated 3 months ago