repos
97
ecosystems
28
languages
12
commits
3,453
─── top repos · by commits
─── repositories
97 totalThis repository was moved to https://github.com/rheo-xyz/rheo-solidity
Size is a credit marketplace with unified liquidity across maturities
Very Liquid Vaults
Very Liquid Vaults
Evaluating fuzzer effectiveness
Property-based testing benchmark
Run echidna on AWS
Size TypeScript SDK for interacting with the core protocol
Concentrated liquidity tools
Paymaster that funds your transactions on any supported chain through a credit card top up using Paypal
The Auditor Book
Mutation testing tool for circom
Solidity Audit Report Generator
Security Reviews and Audit Checklists
Smart Contract Property-Based Testing Framework
Halmos Differential Tests for Common ERC-20 Token Implementations
RestrictedActionsGuard is a Safe Guard that allows owners to only perform allowed actions to whitelisted contracts with a different threshold
Canary target for scfuzzbench
1-Click derivatives strategies
Solidity HTTP client
Terraform scripts to run an Ethereum node on the cloud
Governance proposals done right. Safe Utils and Tenderly Utils POC
Extended console.log in Solidity for ERC20 tokens and ERC4626 vaults.
Pre-built security properties for common Ethereum operations
Sim IDX for Size
Reproduce DeFi hacked incidents using Foundry.
Reproduce DeFi hack incidents using Foundry.
Reproduce DeFi hacked incidents using Foundry.
Reproduce DeFi hacked incidents using Foundry.
Chimera POC
Reproduce DeFi hacked incidents using Foundry.
A set of icons for all the main cryptocurrencies and altcoins, in a range of styles and sizes.
A set of icons for all the main Bitcoin Cash tokens, in a range of styles and sizes.
A set of icons for all the main cryptocurrencies and altcoins, in a range of styles and sizes.
OpenZeppelin Contracts 5.0 Footguns
Benchmark of Solidity sets
Integration of Civic Login with a redux-based front-end
Incorporate Civic Login with AWS Lambda
OpenZeppelin Contracts is a library for secure smart contract development.
zkSnark circuit compiler
Symbolic and concrete EVM execution engine
An open-source library of property-based tests for most common Ethereum token standards.
All your EVM tools in one place!
Ethereum consensus client in Rust
https://docs.chain.link The Chainlink developer documentation website for Smart Contract Devs and Node Operators
A list of public fuzzing campaigns
Solidity library of smart contracts from the OpenZeppelin Community
Official repository for the Security Frameworks by SEAL. Currently under development, not a release.
General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
General purpose Blended Execution layer
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Foundry project for the RLN
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Developer documentation site for zkSync community.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
A Foundry plugin that enables you to plot charts within solidity.
Examples of usage of halmos-helpers-lib
zkSnark circuit compiler
OpenZeppelin Contracts is a library for secure smart contract development.
zkSnark circuit compiler
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
This is a mirror of circom(https://github.com/iden3/circom).
OpenZeppelin Contracts fork to add ERC5169
Developer documentation site for zkSync community.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
OpenZeppelin Contracts is a library for secure smart contract development.
OpenZeppelin Contracts is a library for secure smart contract development.
All your EVM tools in one place!
Ethereum consensus client in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
─── peer developers
─── ecosystems
─── languages
- Solidity41
- TypeScript14
- Rust9
- JavaScript8
- HTML3
- Circom2
- WebAssembly2
- Haskell2
- Shell1
- HCL1
─── subscriber view
Unlock the full view of aviggiano
- · 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.