nican0r

Pinned Repositories

2023-06-symmetrical
Language:TypeScript00
aave-v3-fuzzy-review
Language:TypeScript00
eBTC-certora-vs-echidna
Repository for blog post comparing differences between the Certora Prover and Trail of Bits' Echidna
Language:JavaScript30
echidna-coverage-bug-repro
Language:Solidity00
elasticswap-recon
Used for demonstrating the recon fuzzing scaffolding tool
Language:JavaScript00
ERC4626_Workshop
Repository for the specifications for the Certora workshop on ERC4626 at TrustX @ Istanbul 2023 modified for fuzzy.io blog
Language:Solidity00
ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
Language:JavaScript00
invariant-gpt
Language:Python00
perennial
Core library for DeFi.
Language:TypeScript00
perennial-mono
Language:TypeScript00

nican0r's Repositories

nican0r/eBTC-certora-vs-echidna
Repository for blog post comparing differences between the Certora Prover and Trail of Bits' Echidna
Language:JavaScript30
nican0r/2023-06-symmetrical
Language:TypeScript00
nican0r/aave-v3-fuzzy-review
Language:TypeScript00
nican0r/echidna-coverage-bug-repro
Language:Solidity00
nican0r/elasticswap-recon
Used for demonstrating the recon fuzzing scaffolding tool
Language:JavaScript00
nican0r/ERC4626_Workshop
Repository for the specifications for the Certora workshop on ERC4626 at TrustX @ Istanbul 2023 modified for fuzzy.io blog
Language:Solidity00
nican0r/ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
Language:JavaScript00
nican0r/invariant-gpt
Language:Python00
nican0r/perennial
Core library for DeFi.
Language:TypeScript00
nican0r/perennial-mono
Language:TypeScript00
nican0r/recon-uniswapv3
Language:Solidity2