☆10Jul 29, 2025Updated 7 months ago
Alternatives and similar repositories for protego
Users that are interested in protego are comparing it to the libraries listed below
Sorting:
- Arcadia Lending is the first application leveraging our Arcadia Vaults. It is a non-custodial peer-to-contract lending protocol where use…☆36Jun 5, 2023Updated 2 years ago
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 2 years ago
- ☆13Feb 2, 2021Updated 5 years ago
- Solidity smart contract for atomic swaps.☆10Oct 31, 2022Updated 3 years ago
- Smart contracts for Light.Art☆10Dec 12, 2022Updated 3 years ago
- Morpho token contracts.☆14Dec 10, 2024Updated last year
- ☆10Mar 16, 2023Updated 2 years ago
- ☆15Dec 15, 2021Updated 4 years ago
- General space for Solidity smart contract code and notes☆10Nov 29, 2023Updated 2 years ago
- The place to see all MakerDao Auctions.☆26Feb 17, 2024Updated 2 years ago
- ☆15Mar 7, 2022Updated 3 years ago
- Smart contracts that enable flash loans, an uncollateralized lending solution on Ethereum☆13May 15, 2021Updated 4 years ago
- All the key Nova libraries and interfaces in one DappTools friendly repo!☆11Aug 29, 2021Updated 4 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆16Oct 29, 2022Updated 3 years ago
- ☆11Jul 27, 2022Updated 3 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Nov 29, 2021Updated 4 years ago
- Relic Protocol smart contracts☆35Mar 16, 2024Updated last year
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆15Sep 10, 2021Updated 4 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆20Mar 31, 2023Updated 2 years ago
- A simple and sufficient ERC721 implementation☆21Jul 11, 2022Updated 3 years ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 3 years ago
- A port of the weiroll vm in huff☆27Jan 18, 2023Updated 3 years ago
- https://chai.money - A ui for your Chai☆23May 27, 2023Updated 2 years ago
- linear algebra library written entirely in rust☆20Sep 6, 2023Updated 2 years ago
- ☆22Oct 11, 2022Updated 3 years ago
- Update or revert to a specific Foundry branch with ease.☆44Jan 17, 2022Updated 4 years ago
- Gas-Efficient Solidity DateTime Library☆20Nov 10, 2022Updated 3 years ago
- Contracts for my flashloan workshop/lecture at UPenn☆77Nov 13, 2022Updated 3 years ago
- A graph library built with Cairo☆28Jul 12, 2022Updated 3 years ago
- Zivoe is a real-world asset (RWA) credit protocol that provides anyone who qualifies tokenized exposure to the private credit market.☆22Oct 1, 2025Updated 5 months ago
- The on-chain Monaco protocol☆26Jan 8, 2025Updated last year
- Wrapped ETH, written in Yul+☆24Jun 6, 2022Updated 3 years ago
- Generic factory for deploying upgradeable proxy contracts☆27Jan 15, 2023Updated 3 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- ☆24Mar 8, 2023Updated 2 years ago
- Interaction Controllers for Sentiment☆28Jul 5, 2023Updated 2 years ago
- Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in a…☆26Nov 25, 2021Updated 4 years ago