Dom's repositories
presentation-ethprague-2023
"How I Audit", EthPrague 2023.
awesome-fuzzing-solidity
Example of using Woke fuzzer to verify sudokus
fuzz-template
Template files for Woke fuzz tests. See readme.md
huff-puzzles
These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
logicgroup.dev
@hacker-dom has been a Lead Auditor at CertiK, Trail of Bits and Ackee Blockchain, now in the form of an independent auditor.
logseq-public
My personal knowledge base!
nushell
A new type of shell
nvim-lspconfig
Quickstart configs for Nvim LSP
panoptic-v1-core
Core Smart Contracts of Panoptic V1 — the DeFi options Protocol
provio-2019
Provio will be a step-by-step math proof checker
reference-resolving
Example of Slither failing to do resolution of references to identical objects across compilation units.
single-collateral-dai
Single-collateral Dai (Sai) rewritten in Solidity 0.8.20.
woke-counter
Example of fuzzing, deployment, forking... with Woke
woke-printer
Example showing woke printer
woke-pytypes-double-import
Repro repo for issue with pytype generation
woke-uniswap-v2
Tier 2 Fuzz tests of Uniswap V2.