DZGoldman / DeorgLinks
☆23Updated 4 years ago
Alternatives and similar repositories for Deorg
Users that are interested in Deorg are comparing it to the libraries listed below
Sorting:
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 5 years ago
- MCD Command-line interface☆18Updated 2 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Off-chain services for the Gnosis Protocol v1.☆33Updated 3 years ago
- A simple and sufficient ERC721 implementation☆21Updated 3 years ago
- ☆10Updated 3 years ago
- Docker setup with Eth1 Shard demo☆25Updated 4 years ago
- 🎛 Core smart contracts of Uniswap V2, adapted to run on the Optimistic VM (OVM) while maintaining compatibility with the Ethereum VM (EV…☆26Updated 4 years ago
- price feed, with expiration and medianizer poke☆33Updated 4 years ago
- ☆16Updated 4 years ago
- Merge Mock - testing tool for the Ethereum Merge☆41Updated 3 years ago
- ☆23Updated 4 years ago
- The place to see all MakerDao Auctions.☆26Updated last year
- Aesthetically Pleasing Ethereum Statements☆51Updated 3 years ago
- Yield Protocol v1☆45Updated last year
- AZTEC protocol specification☆30Updated 5 years ago
- Start a local test chain with the MakerDAO contracts deployed on it, quickly and easily.☆33Updated 3 years ago
- Collection of research papers written within Gnosis☆92Updated 3 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- CLI & Library for interacting with https://fractional.art/☆21Updated 4 years ago
- EIP1559 Analysis☆22Updated 5 years ago
- Yearn v2 Strategies for Idle.finance☆20Updated last year
- This is a port of the Vyper Eth 2.0 deposit contract to Solidity.☆20Updated 5 years ago
- ☆34Updated 4 years ago
- Agent-based simulation environment for PoS Ethereum☆52Updated 2 years ago
- Advanced functionality for ERC20 tokens, as abstract inheritable contracts☆20Updated 2 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆47Updated 4 years ago