alcueca / DecimalMath
Smart contract implementing fixed point math operations using structs for type checking.
☆29Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for DecimalMath
- ☆19Updated 3 years ago
- Update or revert to a specific DappTools commit with ease.☆37Updated 2 years ago
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆41Updated last year
- formal verification of multicollateral dai in the K framework☆14Updated 3 years ago
- Know if a call is from an EOA no matter what☆34Updated 3 years ago
- System-wide EVMDIS integration for MacOSX☆10Updated 2 years ago
- Primitive Contracts V1☆12Updated 2 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Updated 7 years ago
- Token for accruing protocol revenues☆16Updated 2 years ago
- A protocol for splitting ERC20 tokens into their yield, governance and capital components☆21Updated last year
- Templating for meta vaults☆23Updated 2 years ago
- EVM performance tests for a range of clients☆24Updated 4 years ago
- ☆34Updated 4 years ago
- ☆29Updated 2 years ago
- ☆22Updated last year
- Everything you need to create your first account abstraction contract in one place☆28Updated 4 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆29Updated 4 years ago
- Repository for Huff - an EVM programming language☆28Updated 4 years ago
- Rari Capital Documentation☆17Updated 2 years ago
- A Solidity implementation of a VDF verifier contract☆16Updated last year
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆17Updated 4 months ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- A prototype for everlasting options☆15Updated 3 years ago
- ☆13Updated 3 years ago
- ☆34Updated 2 years ago