CADLabs / ethereum-economic-model
A modular dynamical-systems model of Ethereum's validator economics
☆138Updated 7 months ago
Alternatives and similar repositories for ethereum-economic-model:
Users that are interested in ethereum-economic-model are comparing it to the libraries listed below
- A Python framework for designing, testing, and validating complex systems through modelling and simulation.☆103Updated 3 months ago
- Robust Incentives Group☆124Updated 3 weeks ago
- This repo contains tutorials and demos for learning how to use cadCAD. [task: replace this readme with a real one]☆88Updated 8 months ago
- Draw EVM contract byte code☆122Updated 3 years ago
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆208Updated 2 years ago
- Repository for Huff - an EVM programming language☆235Updated 5 years ago
- A low level assembly language for the Ethereum Virtual Machine☆260Updated 2 years ago
- Yield-bearing Vault Interface☆121Updated last year
- Foundry tools for testing with Gnosis Safes☆142Updated 5 months ago
- Trust-minimized way to access offchain data onchain☆139Updated 2 years ago
- ☆125Updated 3 years ago
- A list of challenges designed for traveling ethernauts☆69Updated 3 years ago
- Dotenv parser for solidity & foundry☆157Updated 2 years ago
- A data structures library that does memory management for you☆221Updated 2 years ago
- Tokenized multisig wallet.☆182Updated last year
- ERC-4626 wrappers for common yield-generating platforms☆143Updated 2 months ago
- dune snippets is a collection of sql queries for duneanalytics.com / Google BigQuery☆148Updated 11 months ago
- a vyper interpreter☆276Updated 3 weeks ago
- Minimalist template for foundry projects☆155Updated 7 months ago
- excessively safe solidity calls☆230Updated last year
- Baal sets the season, and gives forth His voice from the clouds.☆94Updated 10 months ago
- Toolkit based on cadCAD for performing automated routine tests and future predictions for a GEB deployment☆21Updated 2 years ago
- Data structures tested and used by the Morpho Protocol.☆115Updated 3 months ago
- Get up to speed on dapptools☆153Updated 3 years ago
- Zero-to-One Solidity with Simplicity-first.☆167Updated this week
- ERC4626 Property Tests☆178Updated 2 months ago
- ☆90Updated 8 months ago
- Flexible, minimalist, and gas-optimized yield aggregator protocol for earning interest on any ERC20 token.☆288Updated 2 years ago
- Solidity library with basic trigonometry functions☆148Updated 2 years ago
- Primitive Replicating Market Maker smart contracts☆131Updated 8 months ago