Morpho-GPT repository

Kontrol Workshop at ETHCC[7]

An open benchmark for evaluating smart contracts verification tools.

Formalizing AMMs in Lean 4

MetaMorpho

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Morpho Blue Bundlers

Distribute MORPHO as rewards for Morpho users depending on governance choices

Morpho Blue Oracles

🟦 Morpho Blue Protocol

Morpho seatbelt for governance setup and proposals.

🎩🪄 Easily deal any amount of any ERC20 tokens to any account on the hardhat network

Challenges to test your smart contract skills.

RTS delayed game

A symbolic testing tool for EVM smart contracts

Vim-fork focused on extensibility and usability

Virtual whiteboard for sketching hand-drawn like diagrams

Allows to easily create tx to be signed through CLI and submitted on a Safe

The Galène videoconference server

Easy to use vesting contracts written in Solidity.

Delegatecall from any contract. A kind of vm.prank for delegatecalls.

Experiment on how to bootstrap the OCaml compiler

The Ethereum Improvement Proposal repository

Go implementation of the Ethereum protocol

The "Yellow Paper": Ethereum's formal specification