unamewiki's repositories
Language:C++GPL-3.0000
ds-chief
approval voting to select who wears the hat by consensus
Language:SolidityGPL-3.0000
EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
Language:RustMIT000
Language:Solidity000
foundry-toolkit
bits and pieces to fuzz with Foundry effectively
Language:Solidity000
fuzzer-evaluation
Evaluating fuzzer effectiveness
Language:SolidityMIT000
halmos-sandbox
A forkable template repo for easily writing and testing toy contracts
Language:SolidityMIT000
learn-evm-attacks
Learn & Contribute on previously exploited vulnerabilities across several EVM projects.
Language:SolidityMIT000
rareskills-blog-index
Index of Rareskill Blog posts.
Language:JavaScript000
sidekik-xyz.github.io
Public Website for Sidekik
Language:HTML000
Language:Solidity000
v2-periphery
🎚 Peripheral smart contracts for interacting with Uniswap V2
Language:SolidityGPL-3.0000