Pinned Repositories
enterprise-counters
galaxy-brain-reentrancy-guard
Secure by design reentrancy guards
gas-benchmark-anvil
a little foundry template that shows how to use anvil to run gas benchmarks
halmos-sandbox
A forkable template repo for easily writing and testing toy contracts
smol-evm
solidity-one-liners
Poor man's Solidity REPL
SS2ERC721-starter-kit
Quickly get started with a simple SS2ERC721 for cheap airdrops
karmacoma-eth's Repositories
karmacoma-eth/smol-evm
karmacoma-eth/galaxy-brain-reentrancy-guard
Secure by design reentrancy guards
karmacoma-eth/halmos-sandbox
A forkable template repo for easily writing and testing toy contracts
karmacoma-eth/SS2ERC721-starter-kit
Quickly get started with a simple SS2ERC721 for cheap airdrops
karmacoma-eth/gas-benchmark-anvil
a little foundry template that shows how to use anvil to run gas benchmarks
karmacoma-eth/farcaster-followers-frame
A simple frame that displays a follower graph
karmacoma-eth/foundry-playground
one off scripts and contracts
karmacoma-eth/gas-bench
just a bunch of random tests for gas usage
karmacoma-eth/sat-or-not
SAT or NOT, *the* hottest logic game available as a Farcaster Frame
karmacoma-eth/solidity-fuzzing-comparison
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
karmacoma-eth/awesome-halmos
List of Halmos resources.
karmacoma-eth/damn-vulnerable-defi-halmos
The smart contract security training ground for developers, security researchers and educators.
karmacoma-eth/halmos
Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode
karmacoma-eth/prank-issue
quick repro for forge prank issue with nested contexts
karmacoma-eth/smt-playground
Fooling around with SMT solvers. Nothing fancy.
karmacoma-eth/crytic-compile
Abstraction layer for smart contract build systems
karmacoma-eth/eigenlayer-middleware-fork
karmacoma-eth/eth-sc-comp-benchmarks
karmacoma-eth/fair-data-exchange
karmacoma-eth/farcasterxyz-protocol
Specification of the Farcaster Protocol
karmacoma-eth/forge-std
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
karmacoma-eth/github-commit-spoofing
demonstrating why you want signed commits
karmacoma-eth/hellonode-flyio
A minimal Fly example Node application for use in tutorials
karmacoma-eth/hub-monorepo
Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster
karmacoma-eth/ipfs-car
Convert files to content-addressable archives and back
karmacoma-eth/jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡ 💌
karmacoma-eth/memchunks-test
karmacoma-eth/py-evm
A Python implementation of the Ethereum Virtual Machine
karmacoma-eth/solady
Optimized Solidity snippets.
karmacoma-eth/titanoboa-fork
a vyper interpreter