repos
23
ecosystems
3
languages
4
commits
1,203
─── top repos · by commits
─── repositories
23 totalCairo STARK proof verifier for Starknet
Cairo STARK proof verifier for Starknet
Second iteration of herodotus-evm, based on a Diamond contract, infinite chains in one deployment, one contract to index events.
A comprehensive library for Cairo 🐺
Grants etherscan more functionality, including full diamond standard support & Herodotus proving services
Herodotus EVM contracts
Solidity Merkle Mountain Range library
Script for converting cairo0 autogenerated file to cairo1 and splitting it
The Cairo package manager
A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.
The Cairo package manager
The Cairo package manager
The Cairo package manager
The Cairo package manager
─── peer developers
─── ecosystems
─── languages
- Cairo10
- Rust4
- Solidity3
- TypeScript3
─── subscriber view
Unlock the full view of fmkra
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.