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:
- ☆82Updated 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
- home for experimental vaults☆24Updated 3 years ago
- ☆23Updated 4 years ago
- Bamboo: a morphing smart contract language☆38Updated 6 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 6 years ago
- ☆79Updated 5 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- zk-rollup☆22Updated 2 years ago
- Collection of presentations given by Sigma Prime☆19Updated 3 years ago
- Primitive protocol solidity contracts.☆43Updated 2 years ago
- An IDE for building Code Tutorials☆43Updated 2 years ago
- Agent-based simulation environment for PoS Ethereum☆52Updated 2 years ago
- ☆47Updated 4 years ago
- ☆23Updated 4 years ago
- Maker Keeper Framework: Keeper to bite undercollateralized cups.☆50Updated 2 years ago
- Ray tracing on the Ethereum Virtual Machine☆105Updated 7 years ago
- Yield Protocol v1☆45Updated last year
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- ☆21Updated 4 years ago
- The Kollateral protocol and typescript library☆53Updated 2 years ago
- ☆47Updated 3 years ago
- http://hackthiscontract.io/☆50Updated 2 years ago
- Repository for Huff - an EVM programming language☆28Updated 5 years ago
- Transaction markets in Python☆60Updated 2 years ago
- Eth2-MEV project with liquid staking (Flashbots-Lido-Nethermind)☆53Updated 4 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆13Updated 6 years ago
- ☆36Updated 8 months ago
- Design, test and validate complex systems through simulation in Python☆69Updated 4 years ago