cadCAD-org / DynamicGamesSeminarLinks
This repo exists to collaborative develop and apply course materials on dynamic games
☆11Updated 5 years ago
Alternatives and similar repositories for DynamicGamesSeminar
Users that are interested in DynamicGamesSeminar are comparing it to the libraries listed below
Sorting:
- This repo contains the current state of and process for evolving the cadCAD_org.☆11Updated 5 years ago
- Repository for Complex Systems model of the Grassroots Economics Community Inclusion Currency project.☆11Updated 3 years ago
- Repo containing notebooks showcasing features and applications of cadCAD.☆10Updated last year
- Design, test and validate complex systems through simulation in Python☆69Updated 4 years ago
- Repository for Research on Conviction voting schemes☆51Updated 3 years ago
- Notebook Link: https://github.com/BlockScience/Aragon_Conviction_Voting/blob/master/models/v3/Aragon_Conviction_Voting_Model.ipynb☆40Updated 5 years ago
- Aragon DAO Template for public community coordination☆15Updated 5 years ago
- Decentrally store files and manage their permissions☆16Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 3 years ago
- The most comprehensive collection of intermediate level cadCAD methodologies on the web. If you're using cadCAD professionally, this is w…☆15Updated 4 years ago
- Aragon + SourceCred☆13Updated 2 weeks ago
- a model simple code deference agreement☆39Updated 5 years ago
- Fully automated luxury gay space communism contracts☆76Updated 2 weeks ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆46Updated 4 years ago
- Public Repo for Collaboration between Interchain Foundation and BlockScience☆68Updated 2 years ago
- An agent-based model of decentralized dispute resolution oracle.☆12Updated 7 years ago
- This repo is no longer maintained. Check out the fork at General Magic☆53Updated 3 years ago
- Low-security temporary experimental application-specific blockchains☆16Updated 5 years ago
- Simulation code for a GEB system☆16Updated 3 years ago
- Aragon app integrated with the Compound Finance protocol.☆13Updated 3 years ago
- A relative value model for governance tokens☆23Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- Helper for using Aave's credit delegation☆17Updated 4 years ago
- ☆28Updated 3 years ago
- Reference implementation for ERC-2212☆12Updated 4 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- Welcome to your website on the Ethereum Wide Web☆36Updated 3 years ago
- ☆18Updated 5 years ago
- Aragon DAO explorer☆25Updated 5 years ago
- ☆45Updated 6 years ago