LoreonLabsPlatform
GitHub builder
General Partner at Paradigm
Most recently pushed, live from GitHub.
Executable formal model of the EVM and Yul in Lean 4.
Multiplayer, self-hosted, secure agents.
Orderbook prediction market challenge
📓 Uniswap V3 docs website
A Solidity contract for scheduling callback transactions (ideally with builder support).
🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4