Antonio Viggiano

redis-roaring. Roaring Bitmaps for Redis

theauditorbook. The Auditor Book

security. Security Reviews and Audit Checklists

solidity-audit-report-generator. Solidity Audit Report Generator

qcl. Quantum Computation Language port from http://tph.tuwien.ac.at/~oemer/qcl.html

guitar-pro-6. Unofficial Guitar Pro 6 docker image for linux

fuzzer-evaluation. Evaluating fuzzer effectiveness

circom-mutator. Mutation testing tool for circom

judgementalist. Judgementalist — judge Sherlock contests faster

console3. Extended console.log in Solidity for ERC20 tokens and ERC4626 vaults.

halmos-differential-erc20. Halmos Differential Tests for Common ERC-20 Token Implementations

property-based-testing-benchmark. Property-based testing benchmark

fiat-paymaster. Paymaster that funds your transactions on any supported chain through a credit card top up using Paypal

fuzzy-fyi. We help protocols improve their invariant tests

ffs. ffs is a Fast Fuzzing Service CLI that runs your campaigns on the cloud

weth-paymaster. WETH Paymaster for ERC-4337 Account Abstraction Using Alt Mempool

account-abstraction-workshop. Account Abstraction Workshop

tcc. Sistema de Recomendação de Produtos para e-Commerces

rm-logger. Redis module logger

CoinMarketApp. CoinMarketApp - cryptocurrency price tracker

the-state-of-invariant-testing. The State of Invariant Testing

fluffy-waddle. Zero-config smart contract vulnerability detection system. This is a project inspired by library.dedaub.com/decompile and it should ONLY be used for research purposes.

safe-restricted-actions-guard. RestrictedActionsGuard is a Safe Guard that allows owners to only perform allowed actions to whitelisted contracts with a different threshold

glider-helpers. Glider helper functions

telegram-claude-yolo-bot. Telegram Claude YOLO Bot

halmos-properties. Pre-built security properties for Halmos

create-react-app-model-viewer. Sample React project with @google/model-viewer

selfgpt. Talk to yourself with ChatGPT on WhatsApp

talks. Talks

openzeppelin-contracts-upgradeable-v5-footguns. OpenZeppelin Contracts 5.0 Footguns

zk-bbp. Zero Knowledge Bug Bounty Program

hetzner-fuzzer. Hetzner fuzzer

flexbox-for-dummies. JavaScript

serverless-boilerplate. Serverless Boilerplate based on AWS Lambda/API Gateway and Node.js

votobrasil. Previsão de voto das eleições presidenciais de 2014 no Brasil

glider-utils-chrome-extension. A Chrome extension that provides utilities for the Glider web app

confidential-dex-v2. Confidential DEX (Uniswap v2 style) for ERC7984 tokens