alcueca / DecimalMathLinks
Smart contract implementing fixed point math operations using structs for type checking.
☆29Updated 4 years ago
Alternatives and similar repositories for DecimalMath
Users that are interested in DecimalMath are comparing it to the libraries listed below
Sorting:
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- 📑 Documentation generator for Solidity☆26Updated 3 years ago
- A flashloan module for Gnosis Safe.☆45Updated 3 years ago
- Templating for meta vaults☆23Updated 3 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- ☆14Updated 3 years ago
- ☆34Updated 4 years ago
- Solidity error logging☆23Updated 3 years ago
- ☆14Updated 3 years ago
- Update or revert to a specific DappTools commit with ease.☆37Updated 3 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Updated 7 years ago
- ☆21Updated 4 years ago
- ☆14Updated 5 years ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 4 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆42Updated 2 years ago
- Primitive Contracts V1☆12Updated 2 years ago
- Primitive protocol solidity contracts.☆43Updated 2 years ago
- Maker Governance Rewards.☆10Updated 4 years ago
- A gas free offering of common Dai and Chai operations☆33Updated 2 years ago
- Yield Protocol v1☆44Updated last year
- Tricking frontrunners into doing good☆42Updated 2 years ago
- Know if a call is from an EOA no matter what☆35Updated 4 years ago
- ☆23Updated 3 years ago
- A Solidity implementation of a VDF verifier contract☆16Updated 2 years ago
- on-chain vol oracle from squeeth☆25Updated 2 years ago
- Gasless Dai transfers for browser & Node.js☆22Updated 2 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Updated 5 years ago
- EIP1559 Analysis☆22Updated 4 years ago
- Simple Restricted Funds Distribution Token (ERC-1404 + ERC-2222)☆14Updated 5 years ago