shafu0x / MicroStableLinks
Most simple design of a stablecoin.
☆75Updated last year
Alternatives and similar repositories for MicroStable
Users that are interested in MicroStable are comparing it to the libraries listed below
Sorting:
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆75Updated 2 years ago
- Solidity snippets too edgy to be in Solady☆117Updated last year
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆137Updated last year
- ☆162Updated 2 months ago
- Efficient Type Driven Smart Contract Interactions☆107Updated last year
- 👃Automatically identify missing or incomplete natspec☆92Updated 7 months ago
- A forkable template repo for easily writing and testing toy contracts☆152Updated 2 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated 2 years ago
- Exercises for the Yield 2022 Mentorship progam☆61Updated 3 years ago
- ☆164Updated 2 years ago
- ☆102Updated 3 years ago
- ☆63Updated 2 years ago
- Optimised Uniswap V2 contracts written in Huff language☆113Updated last year
- A VSCode extension offering utilities for solidity smart-contract development.☆134Updated 6 months ago
- List of Halmos resources.☆58Updated 11 months ago
- ERC4626 Property Tests☆196Updated 6 months ago
- Foundry + Yul template☆97Updated 2 years ago
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.☆101Updated 2 years ago
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 3 years ago
- ☆103Updated 2 months ago
- ☆105Updated 2 years ago
- Collection of past CTFs to play and practice locally.☆52Updated last year
- Diagrams for Solidity contracts☆48Updated last year
- Diff your Github against Etherscan.☆140Updated this week
- ☆61Updated 2 years ago
- Simulate cross-chain protocols txs, easily.☆152Updated 7 months ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆128Updated last year
- ☆87Updated 2 years ago
- Standard way to simulate governance actions from a timelock, multisig, or DAO.☆77Updated 7 months ago
- ☆35Updated 2 years ago