Pinned Repositories
autoreveal-nft
awesome-halmos
List of Halmos resources.
awesome-MEV-resources
Get up to speed on Maximum Extractable Value
basic-informational-site
book
A book on all things Foundry, available at https://book.getfoundry.sh.
calculator
capture-ether-foundry
charlyfinos
redtrama's Repositories
redtrama/awesome-halmos
List of Halmos resources.
redtrama/echidna-invariants-cool
redtrama/autoreveal-nft
redtrama/awesome-MEV-resources
Get up to speed on Maximum Extractable Value
redtrama/book
A book on all things Foundry, available at https://book.getfoundry.sh.
redtrama/capture-ether-foundry
redtrama/charlyfinos
redtrama/charlyfinos.github.io
redtrama/creaciones-app
redtrama/example-farcaster-app
redtrama/first-contributions
🚀✨ Help beginners to contribute to open source projects
redtrama/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
redtrama/foundry-erc721a
redtrama/frametree-generator
Social media links frame generator
redtrama/kickstart.nvim
A launch point for your personal nvim configuration
redtrama/kontrol-example
redtrama/memory-card
redtrama/nftCollection
redtrama/on-chain-fungus
redtrama/pokemon-api
redtrama/portfolio
redtrama/quillaudits-ctf-foundry
redtrama/random-user
redtrama/random-user-api
redtrama/single-price-flex-component
redtrama/smart-contract-vulndb
🍋 An open dataset containing smart contract audit issues from various sources.
redtrama/social-media
redtrama/stats-preview-card-component
redtrama/weather-app-1
redtrama/wl-contract