Pinned Repositories
arbitrage-contracts
Arbitrage liquidity pools across two different AMMs with flashloans
awesome-carbon
โป๏ธ A curated list of awesome carbon projects in the web3 space, podcasts, and other various resources
chiapos
๐ Chia's initial Proof of Space implementation
gobbler-cannibalism
Gobblers eating gobblers
manifold-dynamic-uri
A Manifold extension for dynamic token URIs
optionatoor
๐ค Arbitraging option markets for greater good
poison-pill
๐ On-chain defense against hostile takeovers
sol-template
Barebones template to get started with Solidity projects
storage-layout-action
WIP: Github action to check for storage layout conflicts in upgradeable Solidity contracts
ts-template
๐ค A template for Typescript bots
0xmichalis's Repositories
0xmichalis/arbitrage-contracts
Arbitrage liquidity pools across two different AMMs with flashloans
0xmichalis/sol-template
Barebones template to get started with Solidity projects
0xmichalis/gobbler-cannibalism
Gobblers eating gobblers
0xmichalis/artemis
A simple, modular, and fast framework for writing MEV bots in Rust.
0xmichalis/liquidatoor
๐ค Liquidating your leveraged positions for greater good
0xmichalis/properties
Pre-built security properties for common Ethereum operations
0xmichalis/putty-exerciser
๐ Exercise Putty calls nice and easy
0xmichalis/rhat
๐ ๐งข Ribbon Hat NFT contract
0xmichalis/BokkyPooBahsRedBlackTreeLibrary
BokkyPooBah's Red-Black Binary Search Tree Library
0xmichalis/building-secure-contracts
Guidelines and training material to write secure smart contracts
0xmichalis/defillama-app
0xmichalis/defillama-server
Server for defillama
0xmichalis/dimension-adapters
0xmichalis/emissions-adapters
0xmichalis/example-implementations
A helper smart contract that makes it easy to go through the carbon offsetting process with Toucan.
0xmichalis/faucet-ui
A UI to interact with the TCO2 Faucet smart contract found in https://github.com/ToucanProtocol/faucet
0xmichalis/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
0xmichalis/fuzzydefi
Pre-built security properties for commonly forked DeFi protocols
0xmichalis/hardhat-storage-layout
Generate Ethereum smart contract storage layout with Hardhat.
0xmichalis/linear-analysis
Analysis of linear.app issues
0xmichalis/openzeppelin-upgrades
Plugins for Hardhat and Truffle to deploy and manage upgradeable contracts on Ethereum.
0xmichalis/quadratic-voting
Quadratic Voting web application
0xmichalis/recipes
๐จโ๐ณ Some of my favorite dishes, open-sourced
0xmichalis/sol2uml
Solidity contract visualisation tool
0xmichalis/solidity-stringutils
Basic string utilities for Solidity
0xmichalis/testdir
Reproducer for https://github.com/dorny/paths-filter/issues/177
0xmichalis/theauditorbook
The Auditor Book
0xmichalis/toucan-bridge
Toucan - Regen Ledger bridge smart contracts
0xmichalis/url-directory
0xmichalis/Web3Bugs
Demystifying Exploitable Bugs in Smart Contracts