dapp-studies / blockchain-reading-group
Papers relating to decentralized applications.
☆16Updated 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
- ☆23Updated 3 years ago
- Emergency Shutdown Module☆17Updated 2 years ago
- Yearn Vault wrapper for Lido St. Ether☆27Updated 4 years ago
- rollup node experiments☆15Updated 3 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- ☆21Updated 4 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆13Updated 6 years ago
- ☆23Updated 3 years ago
- Fully collateralised vanilla and bounded (capped call and floored put) crypto options☆16Updated 4 years ago
- Opyn Grant Proposals☆11Updated 2 years ago
- Collection of presentations given by Sigma Prime☆18Updated 3 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- An Ethereum transaction-parser☆15Updated last year
- Schedule function calls that can only be executed once some delay has elapsed☆26Updated 3 years ago
- ☆12Updated 3 years ago
- Smart contracts to retrieve oracle data from several sources☆10Updated 4 years ago
- ☆14Updated 2 years ago
- home for experimental vaults☆24Updated 2 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 5 years ago
- ☆15Updated 2 years ago
- ☆18Updated 4 years ago
- EIP1559 Analysis☆21Updated 4 years ago
- SNT Gas Relay☆13Updated 2 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…☆17Updated last year
- Atlantis is an un-opinionated modular DAO framework geared towards cascading sub-DAOs and cross-DAO composability.☆19Updated 3 years ago
- testing https://github.com/radicle-dev/radicle-contracts☆14Updated 4 years ago
- Simple implementation of ERC-677 token contract, compatible with RIF Token.☆15Updated last year
- ☆12Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago