SekerDAO / UsulLinks
☆32Updated 2 years ago
Alternatives and similar repositories for Usul
Users that are interested in Usul are comparing it to the libraries listed below
Sorting:
- A Zodiac module that uses Reality.eth as an oracle for triggering execution on a Safe.☆104Updated 5 months ago
- A simple demonstration of a proposed L2 gateway specification☆55Updated 2 years ago
- Smart contract templates for publishing BrightID verifications on-chain and using those verifications☆38Updated last year
- Trustlessly prove a past storage value in a contract to other contracts☆146Updated 2 years ago
- ☆37Updated 2 years ago
- ☆45Updated 6 years ago
- Baal sets the season, and gives forth His voice from the clouds.☆94Updated last year
- ☆22Updated 3 years ago
- An etheruem payment provider plugin for pretix☆44Updated last year
- a web3 app☆31Updated 2 years ago
- 🤘 Radspec is a safe interpreter for Ethereum's NatSpec☆141Updated last year
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago
- ☆31Updated 5 months ago
- ☆78Updated 2 years ago
- 📚 The Token Lists specification for Collectibles (ERC721 and ERC1155)☆37Updated 3 years ago
- Dai Automated Clearing House☆52Updated 5 years ago
- Implementation of ERC 792: Arbitration Standard and tutorials for implementing arbitrable and arbitrator contracts☆29Updated 2 years ago
- Tiramisu is a "Layer Two" system for scalable token transfers that prioritizes simplicity.☆74Updated 2 years ago
- 🌓 A demo of instant cross-chain communication using Connext!☆58Updated 4 years ago
- ERC 1155 to ERC 20 converter☆47Updated 2 years ago
- This repo is no longer maintained. Check out the fork at General Magic☆53Updated 3 years ago
- A simple ERC20 token project in Waffle to get started with the OVM☆16Updated 4 years ago
- Hardhat task collection for the Safe contracts☆45Updated last year
- EIP1271 signature checker implementation in JavaScript☆36Updated 4 years ago
- Smart contracts for the Reversible ICO (rICO)☆38Updated 2 years ago
- A javascript library for working with typed structured data as defined by EIP712☆29Updated 2 years ago
- Optimized DAC Protocol☆51Updated 2 years ago
- ☆24Updated 7 months ago
- 🦄🐷