
repos
74
ecosystems
21
languages
9
commits
1,050
─── top repos · by commits
─── repositories
74 totalAn open infrastructure to democratize and decentralize the development of superintelligence for humanity.
An open infrastructure to democratize and decentralize the development of superintelligence for humanity, now with support for heterogeneous devices training in tandem.
Smart Contract Submodule For zkSync Era
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Conway's Game of Life in Rust and WebAssembly
zksolc compiler plugin for asdf version manager.
Yul precompile library to speedup elliptic curves operations.
A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
Javascript & Typescript SDK for Zero-Knowledge Application Development
Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Consensus layer implementation for zkSync Era
A Decentralized Operating System for ZK Applications
A Decentralized Operating System for Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
A Decentralized Operating System for Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Arkworks made simple for us: the non cryptographer software plumbers
Little handbook about distributed systems and the evolution of some consensus protocols
EraVM implementation
The agent that grows with you
Some TLA+ specifications to learn more about TLA and formal verifications
Entropy1729's Learning path
CLI tool for ZKsync, built using zksync-ethers-rs SDK
Self-hosted Hermes agent fork — customized rails (SOUL.md, hooks, installer, ops) on top of upstream nousresearch/hermes-agent
Hermes agent deployment for nulab.cc VPS
zkSync era
Bitcoin L2 (based on ZK Stack)
Cronos zkEVM is a Layer2 blockchain network using ZK Stack, launched in a partnership between Cronos Labs and engineering teams from Matter Labs (the team behind ZKsync), Crypto.com, VVS Finance, Fulcrom Finance and Veno Finance.
zkSync era
zkSync era
zkSync era
zkSync era
zkSync era
zkSync era
zkSync era
In-memory node that can be used for integration testing and debugging.
A zkVM for Decentralized Private Computations (DPC)
CLI tool that simplifies ZKsync development
Contract Templates for zkSync: solidity, hardhat, vyper
Blobs layer for iroh
Blobs layer for iroh
A Virtual Machine for Zero-Knowledge Executions
In-memory node that can be used for integration testing and debugging.
In-memory node that can be used for integration testing and debugging.
ZkThunder implementation (by Salus)
Smart Contract Submodule For zkSync Era
Smart Contract Submodule For zkSync Era
A Virtual Machine for Zero-Knowledge Executions
A Virtual Machine for Zero-Knowledge Executions
In-memory node that can be used for integration testing and debugging.
zksync-era
In-memory node that can be used for integration testing and debugging.
A Virtual Machine for Zero-Knowledge Executions
anvil-zksync fork
A Virtual Machine for Zero-Knowledge Executions
zkSync era
─── peer developers
─── ecosystems
─── languages
- Rust51
- TypeScript5
- Solidity3
- Python3
- JavaScript2
- Makefile1
- Shell1
- HTML1
- TLA1
─── subscriber view
Unlock the full view of IAvecilla
- · 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.



















