Single Collateral Dai
☆164Mar 12, 2022Updated 3 years ago
Alternatives and similar repositories for sai
Users that are interested in sai are comparing it to the libraries listed below
Sorting:
- Dai Stablecoin System☆818Oct 1, 2023Updated 2 years ago
- A gas free offering of common Dai and Chai operations☆32Dec 11, 2022Updated 3 years ago
- ☆12Sep 1, 2021Updated 4 years ago
- ☆13Feb 2, 2021Updated 5 years ago
- Start a local test chain with the MakerDAO contracts deployed on it, quickly and easily.☆33Aug 9, 2022Updated 3 years ago
- MCD Command-line interface☆18Oct 3, 2022Updated 3 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Feb 13, 2022Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆44Sep 10, 2021Updated 4 years ago
- ☆15Dec 15, 2021Updated 4 years ago
- Dai Stats☆79Sep 7, 2023Updated 2 years ago
- Python API for Maker contracts☆195Jul 7, 2025Updated 7 months ago
- Single-Collateral Dai CDP Portal☆20Jul 20, 2022Updated 3 years ago
- Drive App for Aragon☆22Apr 8, 2019Updated 6 years ago
- Solidity contract to make multiple calls in one Ethereum transaction. Used by Maker keepers.☆65Sep 12, 2018Updated 7 years ago
- ERC20 wrapper over the Dai Savings Rate☆147Apr 1, 2020Updated 5 years ago
- ☆14Aug 17, 2021Updated 4 years ago
- A protocol for building community moderated datasets on Ethereum☆23Feb 5, 2019Updated 7 years ago
- ☆104Jul 21, 2022Updated 3 years ago
- A set of examples of how to use the DAI.js library with various purposes and configs☆56Jul 21, 2022Updated 3 years ago
- Update or revert to a specific DappTools commit with ease.☆37Jan 3, 2022Updated 4 years ago
- [DEPRECATED] Truebit Verification for Scrypt☆46Mar 8, 2018Updated 7 years ago
- Documentation for the Paradex.io public API☆20Dec 7, 2018Updated 7 years ago
- Dapp, Seth, Hevm, and more☆2,130Feb 25, 2025Updated last year
- ☆84Jun 29, 2020Updated 5 years ago
- Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal☆16Sep 17, 2025Updated 5 months ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- An EVM interpreter (wip)☆12Aug 29, 2021Updated 4 years ago
- ☆10Mar 16, 2023Updated 2 years ago
- 👯 speedy, parallelized, hot-reloading solidity test framework☆76Jun 8, 2018Updated 7 years ago
- 👉 A simple bot to poke Polaris☆14Mar 27, 2019Updated 6 years ago
- ☆15Mar 7, 2022Updated 3 years ago
- The Maker Foundation's highest priority is the security of the Maker protocol. This repository is dedicated to providing transparency to …☆11Oct 20, 2022Updated 3 years ago
- ☆24Mar 8, 2023Updated 2 years ago
- Proposals about governance models for the Aragon project and the Aragon Network☆51Dec 21, 2018Updated 7 years ago
- Maker Improvement Proposals (MIPs)☆76Sep 5, 2024Updated last year
- Relevant Bonding Curve and Token Contracts☆77Jul 11, 2018Updated 7 years ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,035Dec 4, 2022Updated 3 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Sep 5, 2017Updated 8 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year