☆37Jan 7, 2022Updated 4 years ago
Alternatives and similar repositories for draft-defi-principles
Users that are interested in draft-defi-principles are comparing it to the libraries listed below
Sorting:
- A binary search tree implementation in Solidity☆20Aug 5, 2022Updated 3 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 7 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Ethereum Smart Contract starting template☆106Jul 19, 2023Updated 2 years ago
- ☆68Apr 2, 2022Updated 3 years ago
- Multicall: Aggregate multiple constant function call results into one☆16Apr 13, 2020Updated 5 years ago
- ☆18Mar 29, 2024Updated last year
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 2 years ago
- ☆10May 18, 2023Updated 2 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Manager and Routing smart contracts for Primitive RMM☆35Dec 18, 2023Updated 2 years ago
- A barebones contract to easily mint Soulbound NFTs☆30May 12, 2022Updated 3 years ago
- Lightweight Lua EVM☆59May 1, 2022Updated 3 years ago
- NFT Future protocol☆59Apr 3, 2023Updated 2 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- AltugCar on 0xMonaco☆10Aug 22, 2022Updated 3 years ago
- Huff Proxies with Create2 (no SLOAD)☆41Oct 23, 2022Updated 3 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Feb 13, 2022Updated 4 years ago
- Know if a call is from an EOA no matter what☆33Jun 25, 2021Updated 4 years ago
- Minimal ERC4626-style tokenized Vault implementation with ERC1155 accounting.☆65Mar 27, 2022Updated 3 years ago
- General space for Solidity smart contract code and notes☆10Nov 29, 2023Updated 2 years ago
- ☆10Mar 25, 2022Updated 3 years ago
- ☆15May 6, 2022Updated 3 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- ☆37May 3, 2022Updated 3 years ago
- Library for building symbolically executable stack-based virtual machines☆75Oct 20, 2022Updated 3 years ago
- Valorem Clear is a DeFi money lego, enabling writing covered calls and cash-secured puts, physically settled or cash settled, American, E…☆89Jan 16, 2024Updated 2 years ago
- An ethers interface for fuse and vaults.☆23May 31, 2022Updated 3 years ago
- ☆37Jun 14, 2022Updated 3 years ago
- A pure-std Rust computation graph library☆15Jun 3, 2021Updated 4 years ago
- Smart contracts that enable flash loans, an uncollateralized lending solution on Ethereum☆13May 15, 2021Updated 4 years ago
- ☆12May 15, 2025Updated 9 months ago
- A lightweight, extensible foundry library for shell scripting.☆62Jul 12, 2022Updated 3 years ago
- rust bindings for various defi projects☆64Aug 14, 2022Updated 3 years ago