Highlights
-
awesome-web3-ai-security Public
Forked from JoranHonig/awesome-web3-ai-security -
mdBook Public
Forked from rust-lang/mdBookCreate book from markdown files. Like Gitbook but implemented in Rust
-
-
building-secure-contracts Public
Forked from crytic/building-secure-contractsGuidelines and training material to write secure smart contracts
-
solmate Public
Forked from transmissions11/solmateModern, opinionated, and gas optimized building blocks for smart contract development.
-
-
-
solidity-contracts Public
Forked from threshold-network/solidity-contractsJavaScript UpdatedMay 18, 2022 -
forge-template Public template
Forked from foundry-rs/forge-templateForkable template to get you started with Foundry's Forge
Solidity The Unlicense UpdatedMay 11, 2022 -
forge-std Public
Forked from foundry-rs/forge-stdForge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatc…
Solidity Apache License 2.0 UpdatedMay 10, 2022 -
-
brownie Public
Forked from eth-brownie/brownieA Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.
-
publications-1 Public
Forked from trailofbits/publicationsPublications from Trail of Bits
Python Creative Commons Attribution Share Alike 4.0 International UpdatedNov 30, 2021 -
Smart-Contract-Audits Public
Forked from TechRate/Smart-Contract-AuditsSmart Contract security audit reports
3 UpdatedJun 25, 2021 -
evil-jar Public
Forked from banteg/evil-jarevil jar attack technical post-mortem
-
super-linter Public
Forked from super-linter/super-linterCombination of multiple linters to install as a GitHub Action
Shell MIT License UpdatedSep 30, 2020 -
pylint Public
Forked from pylint-dev/pylintIt's not just a linter that annoys you!
Python GNU General Public License v2.0 UpdatedSep 23, 2020 -
adversarial-robustness-toolbox Public
Forked from Trusted-AI/adversarial-robustness-toolbox -
CTF-challs Public
Forked from GreHack/CTF-challsHere are the challenges (including sources) of the GreHack CTF.
-
-
manticore Public
Forked from trailofbits/manticoreSymbolic execution tool
-
-
blockchain-papers Public
Forked from decrypto-org/blockchain-papersA curated list of academic blockchain-related papers
-
nightfall Public
Forked from wl-buildingtools/nightfallEY's Nightfall protocols for private transactions on the Ethereum blockchain using zk-snarks
JavaScript Other UpdatedMay 31, 2019 -
bran Public
Forked from Practical-Formal-Methods/branA static analysis framework for EVM bytecode
-
slither-scripts Public
Forked from tinchoabbate/slither-scriptsAuditing scripts for Slither (https://github.com/trailofbits/slither)
-
ethereum_formal_verification_overview Public
Forked from leonardoalt/ethereum_formal_verification_overviewOverview of the formal verification projects in the Ethereum ecosystem.
-
set-protocol-contracts Public
Forked from SetProtocol/set-protocol-contracts🎛 Set Protocol Smart Contracts
-
-