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 2 years ago
- Design, test and validate complex systems through simulation in Python☆69Updated 4 years ago
- Repo containing notebooks showcasing features and applications of cadCAD.☆11Updated last year
- Repository for Research on Conviction voting schemes☆53Updated 2 years ago
- Decentrally store files and manage their permissions☆16Updated 6 years ago
- Aragon DAO Template for public community coordination☆15Updated 5 years ago
- An agent-based model of decentralized dispute resolution oracle.☆12Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Public Repo for Collaboration between Interchain Foundation and BlockScience☆67Updated last year
- Notebook Link: https://github.com/BlockScience/Aragon_Conviction_Voting/blob/master/models/v3/Aragon_Conviction_Voting_Model.ipynb☆40Updated 4 years ago
- Aragon app integrated with the Compound Finance protocol.☆13Updated 2 years ago
- Fully automated luxury gay space communism contracts☆76Updated last month
- Holographic consensus implemented as an Aragon app☆18Updated 3 years ago
- a model simple code deference agreement☆38Updated 5 years ago
- Aragon DAO explorer☆25Updated 5 years ago
- A relative value model for governance tokens☆23Updated 6 years ago
- Aragon app for futarchy decisions☆26Updated 3 years ago
- ☆19Updated 5 years ago
- The most comprehensive collection of intermediate level cadCAD methodologies on the web. If you're using cadCAD professionally, this is w…☆15Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- Unipool with unrestricted deposit function☆15Updated 2 years ago
- Aragon DAOs for Github; leveraging SourceCred for token airdrops☆14Updated 2 years ago
- ☆27Updated 2 years ago
- Automated cadCAD system models diagram through GraphViz☆12Updated 2 years ago
- Private money streaming on Ethereum using AZTEC Protocol☆29Updated 2 years ago
- Visualize your Aragon DAO Templates☆29Updated last year
- Transaction markets in Python☆60Updated 2 years ago
- The source code, implementation spec, and Agreement of the Aragon Network.☆13Updated 4 years ago
- ☆16Updated 4 years ago