Oba's repositories
playground
Collection of snippets
create-safe-tx
📜 Useful script to build complex Gnosis Safe transactions involving Gnosis Multisend and/or Zodiac modifiers
damn-vulnerable-defi-foundry
Damn Vulnerable DeFi - Foundry Version
ERC5643
Subscription NFT Smart Contracts
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
evm-from-scratch
Super secret 100% practical EVM course. Please do not share
foundry-huff
A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
FreshCryptoLib
Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)
halo2-analyzer
SMT 2023 Submission; license pending
huff-toolchain
GitHub action that installs huffc
huffmate
A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
HyVM
Run arbitrary code on the EVM, by nested.fi
kakarot
ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
Picus
Symbolic Virtual Machine for Automated R1CS Verification
solc-select
Manage and switch between Solidity compiler versions
solmate
Modern, opinionated, and gas optimized building blocks for smart contract development.
starklings
An interactive tutorial to get you up and running with Starknet
universal-rewards-distributor
A universal rewards distributor written in Solidity.
vertigo-rs
Mutation Testing for Ethereum Smart Contracts, support for Foundry
weiroll
The weiroll virtual machine