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:
- ☆23Updated 4 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- Collection of presentations given by Sigma Prime☆19Updated 3 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- ☆23Updated 5 years ago
- ☆21Updated 5 years ago
- Maker Keeper Framework: Keeper to bite undercollateralized cups.☆50Updated 2 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 6 years ago
- Yearn Vault wrapper for Lido St. Ether☆27Updated 5 years ago
- Abstract developer interfaces to the Dai Stablecoin System core contracts.☆33Updated 2 years ago
- home for experimental vaults☆23Updated 3 years ago
- ☆81Updated 5 years ago
- ☆85Updated 5 years ago
- Log function calls as events☆16Updated 4 years ago
- EVM performance tests for a range of clients☆24Updated 6 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- Cross asset swaps using Curve and Synthetix☆30Updated 4 years ago
- zk-rollup☆22Updated 2 years ago
- ☆40Updated 5 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
- Agent-based simulation environment for PoS Ethereum☆55Updated 2 years ago
- ☆58Updated 10 months ago
- Opyn Grant Proposals☆11Updated 3 years ago
- ☆13Updated 2 years ago
- A Cosmos SDK module to add payment channels to any blockchain built using the SDK.☆14Updated 6 years ago
- A simple and sufficient ERC721 implementation☆21Updated 3 years ago
- Schedule function calls that can only be executed once some delay has elapsed☆27Updated 3 years ago
- ☆23Updated 3 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 3 years ago