dapp-studies / blockchain-reading-groupLinks
Papers relating to decentralized applications.
☆15Updated 8 years ago
Alternatives and similar repositories for blockchain-reading-group
Users that are interested in blockchain-reading-group are comparing it to the libraries listed below
Sorting:
- home for experimental vaults☆24Updated 3 years ago
- ☆23Updated 4 years ago
- Welcome to the Maker Operational Manual. This set of documents intends to acquaint MKR Holders with the voting process and to serve as re…☆19Updated 2 years ago
- ☆79Updated 5 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Collection of presentations given by Sigma Prime☆19Updated 3 years ago
- Bamboo: a morphing smart contract language☆38Updated 6 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 6 years ago
- ☆82Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- An IDE for building Code Tutorials☆43Updated 2 years ago
- ☆21Updated 4 years ago
- Maker Keeper Framework: Keeper to bite undercollateralized cups.☆50Updated 2 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- ☆23Updated 4 years ago
- Cross asset swaps using Curve and Synthetix☆30Updated 3 years ago
- Opyn Grant Proposals☆11Updated 3 years ago
- ☆47Updated 3 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- Yearn Vault wrapper for Lido St. Ether☆27Updated 4 years ago
- Collection of automated on-chain investment strategies☆24Updated 5 years ago
- Schedule function calls that can only be executed once some delay has elapsed☆26Updated 3 years ago
- Book about the ideological context of cryptocurrency. 'Before Bitcoin' written by Pet3rpan.☆25Updated 6 years ago
- Primitive protocol solidity contracts.☆43Updated 2 years ago
- zk-rollup☆22Updated 2 years ago
- Abstract developer interfaces to the Dai Stablecoin System core contracts.☆33Updated 2 years ago
- Agent-based simulation environment for PoS Ethereum☆53Updated 2 years ago
- A simple and sufficient ERC721 implementation☆21Updated 3 years ago
- ☆21Updated 5 years ago
- ☆20Updated 6 years ago