repos
85
ecosystems
23
languages
7
commits
10,350
─── top repos · by commits
─── repositories
85 totalRaiden Network
Raiden Network
Raiden Network
Raiden Network
STARK-based virtual machine
STARK-based virtual machine - For Lambdaworks Prover
Core components of the Miden protocol
Core components of the Miden protocol
STARK-based virtual machine
STARK-based virtual machine
Core components of the Polygon Miden rollup
Core components of the Polygon Miden rollup
Cryptographic primitives used in Polygon Miden rollup
Reference implementation of the node for the Miden blockchain
Reference implementation of the node for the Miden blockchain
Reference implementation of the node for the Polygon Miden rollup
Reference implementation of the node for the Polygon Miden rollup
STARK-based virtual machine
Cryptographic primitives used in Polygon Miden rollup
A domain-specific language for writing AIR constraints for STARKs
Hyper-parallel ZK coprocessing.
Examples of using Polygon Miden
Raiden Network Smart Contracts
Framework to prove inference of ML models blazingly fast
Spec of the Raiden Network protocol
Next generation cryptocurrency network
Development of the Raiden Monitoring and Pathfinding Services
Original/Classic version of the next generation cryptocurrency network
Raiden Network Smart Contracts
Raiden Network Smart Contracts
A STARK prover and verifier for arbitrary computations
The Raiden Light Client
Configuration and instructions for running the Raiden Service Bundle
Useful tools for Raiden and Auxiliary services
The Ethereum Classic Wiki
Hyper-parallel ZK coprocessing.
Solidity, the Smart Contract Programming Language
The python RLP serialization library
This is solc-verify, a modular verifier for Solidity.
A rule-based contract-oriented high-level language.
[Optimism] (Slightly) modified Solidity compiler
Solidity, the Contract-Oriented Programming Language
Turkish community translation of the Solidity documentation
ZKsync fork of the original Solidity compiler.
Portuguese / Brazilian translation of the Solidity docs
Fork of the Solidity Compiler for compiling Solidity to IELE
Chinese community translation of the Solidity documentation
Spanish community translation of the Solidity documentation
Russian community translation of the Solidity documentation
Indonesian community translation of the Solidity documentation
Japanese community translation of the Solidity documentation
Korean community translation of the Solidity documentation
lllc support with latest opcodes
Solidity, the Contract-Oriented Programming Language
Solidity For Cortex
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
The Solidity Contract-Oriented Programming Language
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
A STARK prover and verifier for arbitrary computations
Solidity, the Contract-Oriented Programming Language
Solidity, the Smart Contract Programming Language
Solidity, the Smart Contract Programming Language
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
The python RLP serialization library
Solidity, the Contract-Oriented Programming Language
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
A STARK prover and verifier for arbitrary computations
A parser combinator library for Rust
An implementation of Keccak derived functions specified in FIPS-202, SP800-185 and KangarooTwelve
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
my version of solidity
ethereum-solidity
Solidity, the Contract-Oriented Programming Language
─── peer developers
─── ecosystems
─── languages
- C++18
- Rust16
- Python15
- CMake7
- Solidity3
- TypeScript2
- ANTLR1
─── subscriber view
Unlock the full view of hackaugusto
- · 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.