Teller is a lending and undercollateralized borrowing protocol on the Ethereum blockchain. Teller is the first protocol to allow zero collateral borrowing for greater than one block.
☆106Nov 7, 2025Updated 3 months ago
Alternatives and similar repositories for teller-protocol-v1
Users that are interested in teller-protocol-v1 are comparing it to the libraries listed below
Sorting:
- Smart contracts for Tinlake, the on-chain securitization protocol for real-world assets☆117Nov 17, 2023Updated 2 years ago
- Ooki Protocol Smart Contracts☆190Mar 12, 2024Updated last year
- 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
- Supplementary Material to be used with the Certora Prover☆17Mar 9, 2022Updated 3 years ago
- Multicall: Aggregate multiple constant function call results into one☆16Apr 13, 2020Updated 5 years ago
- Smart contracts for the Gnosis Protocol v1☆98Dec 11, 2022Updated 3 years ago
- 📃 Smart Contracts that make up the core of the mStable protocol☆303Apr 11, 2023Updated 2 years ago
- Core smart contracts for GEB☆141Dec 11, 2023Updated 2 years ago
- Abstract developer interfaces to the Dai Stablecoin System core contracts.☆33Jun 29, 2023Updated 2 years ago
- ☆27Jun 23, 2023Updated 2 years ago
- Nouns Technical Specifications☆24Oct 6, 2022Updated 3 years ago
- Opyn Grant Proposals☆11May 11, 2022Updated 3 years ago
- A Uniswap Fork enabling ERC20 to ERC20 trades☆12Jan 24, 2023Updated 3 years ago
- ☆10Jan 24, 2023Updated 3 years ago
- Exchange Callee contracts for LIQ2.0 Flash Loans☆31Dec 1, 2025Updated 3 months ago
- ☆37Jan 7, 2022Updated 4 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- Yield seeking vaults.☆16Feb 9, 2023Updated 3 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- A Prolog engine written in Solidity.☆16Feb 19, 2022Updated 4 years ago
- Templates and examples for integrating the Reservoir-powered oracle☆19Jan 22, 2023Updated 3 years ago
- Primitive protocol solidity contracts.☆42Dec 11, 2022Updated 3 years ago
- ☆13Apr 23, 2023Updated 2 years ago
- ☆33Sep 29, 2022Updated 3 years ago
- Minimal ERC4626-style tokenized Vault implementation with ERC1155 accounting.☆65Mar 27, 2022Updated 3 years ago
- Maximizing liquidity utilization while maintaining 50/50 inventory ratio☆27Sep 23, 2022Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆31Jul 9, 2022Updated 3 years ago
- CORE smart contracts v1☆33Mar 29, 2022Updated 3 years ago
- Royalty Management System for NFTs with EIP-2981 royalties☆33Apr 15, 2022Updated 3 years ago
- ☆57Apr 22, 2024Updated last year
- Interface for conditional markets for Gnosis' Conditional Token Standard☆16Dec 9, 2022Updated 3 years ago
- Protocol☆18Feb 2, 2023Updated 3 years ago
- A reentrancy attack on the Deadfrenz Lab Pass contract☆19Feb 20, 2022Updated 4 years ago
- defi-based organizations using sushi and bentobox☆22Sep 28, 2021Updated 4 years ago
- Pickle Protocols☆127Apr 13, 2023Updated 2 years ago
- ☆86Dec 18, 2023Updated 2 years ago
- TrustToken smart contracts written pre 2022. Includes TrueCurrencies and TrueFi Pools.☆320Feb 17, 2025Updated last year
- Set of smart contracts and bash scripts to deploy Multi collateral DAI☆70Mar 15, 2023Updated 2 years ago