hacker-DOM

adoc-math

Use MathJax (Latex or AsciiMath) in your AsciiDoc projects 🤟🚀

presentation-ethprague-2023

"How I Audit", EthPrague 2023.

resume

whitepaper-rating

argent-task

Frontend task for Argent

awesome-fuzzing-solidity

Example of using Woke fuzzer to verify sudokus

blog

Hacker Dom's blog.

cra-ejected

domfiles

Dom's .dotfiles ✨

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.

isnoop

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!

nvim-lspconfig

Quickstart configs for Nvim LSP

panoptic-v1-core

Core Smart Contracts of Panoptic V1 — the DeFi options Protocol

pimp

Provider of Insights and Meaning into Programs.

presentations

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.

sccd-ranger

single-collateral-dai

Single-collateral Dai (Sai) rewritten in Solidity 0.8.20.

solidity-unflatten

woke

Woke is a Python-based development and testing framework for Solidity.

woke-counter

Example of fuzzing, deployment, forking... with Woke

woke-fuzzer-example

Example of usage of woke fuzzer (woke==1.3.0)

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.

zsh-sccd

Add annotations of line counts to all directories and files! Pairs super nicely w/ Ranger and Neo-Tree :)