karmacoma's repositories
galaxy-brain-reentrancy-guard
Secure by design reentrancy guards
SS2ERC721-starter-kit
Quickly get started with a simple SS2ERC721 for cheap airdrops
gas-benchmark-anvil
a little foundry template that shows how to use anvil to run gas benchmarks
farcaster-followers-frame
A simple frame that displays a follower graph
foundry-playground
one off scripts and contracts
halmos-sandbox
A forkable template repo for easily writing and testing toy contracts
sat-or-not
SAT or NOT, *the* hottest logic game available as a Farcaster Frame
solidity-fuzzing-comparison
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
this-smart-contract-will-self-destruct
This contract will self destruct if it goes 24h without receiving a message
smt-playground
Fooling around with SMT solvers. Nothing fancy.
crytic-compile
Abstraction layer for smart contract build systems
farcasterxyz-protocol
Specification of the Farcaster Protocol
github-commit-spoofing
demonstrating why you want signed commits
hellonode-flyio
A minimal Fly example Node application for use in tutorials
hub-monorepo
Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster
jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡ 💌
titanoboa-fork
a vyper interpreter