repos
56
ecosystems
8
languages
6
commits
521
─── top repos · by commits
─── repositories
56 totalPragma API built on an extensive network of data providers
Common Rust structures in Pragma.
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
🧩 Liquidator for the Vesu protocol.
Python SDK to interact with Pragma
Rust SDK to interact with the Pragma API.
Pragma, the first provable oracle.
Pragma monitoring
Satoru keeper service 🦀.
Synthetics platform for Starknet, inspired by GMX v2 design.
Dojo is a toolchain for building provable games and applications
Kakarot zkEVM - rewrite in the latest version of Cairo
Automatic indexer for Dojo.
Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Madara is a powerful hybrid Starknet client written in Rust.
Madara is a powerful hybrid Starknet client written in Rust.
Madara is a powerful hybrid Starknet client written in Rust.
Madara is a powerful hybrid Starknet client written in Rust.
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Blazing fast tool to benchmark Starknet sequencers 🦀
Starknet Foundry plugin for the asdf version manager
An onchain adaptation of the classic Drug Wars game
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Starknet implementation of the Hyperlane protocol.
Starknet implementation of the Hyperlane protocol.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Blazing fast toolkit for developing Starknet contracts.
An Ethereum toolkit
Apibara is the fastest platform to build production-grade indexers that connect onchain data to web2 services.
☣️ A framework for building safer memecoins 💸
The Madara orchestrator is designed to be an additional service which runs in parallel to Madara and handles various critical jobs that ensure proper block processing, proof generation, data submission and state transitions.
Pragma Cairo SDK
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Pragma Cairo SDK
Cairo is the first Turing-complete language for creating provable programs for general computation.
Cairo is the first Turing-complete language for creating provable programs for general computation.
storedata starknet cairo
☣️ A framework for building safer memecoins 💸
Cairo is the first Turing-complete language for creating provable programs for general computation.
Blazing fast toolkit for developing Starknet contracts.
Blazing fast toolkit for developing Starknet contracts.
─── peer developers
─── ecosystems
─── languages
- Rust33
- Cairo13
- Python1
- Shell1
- TypeScript1
- MDX1
─── subscriber view
Unlock the full view of akhercha
- · 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.