Mikerah / awesome-algorithmic-game-theory
An Awesome list for resources on algorithmic game theory
☆158Updated 2 years ago
Alternatives and similar repositories for awesome-algorithmic-game-theory:
Users that are interested in awesome-algorithmic-game-theory are comparing it to the libraries listed below
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆53Updated 3 years ago
- Publications of Runtime Verification, Inc.☆88Updated this week
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Introductory lecture notes on programmable cryptography☆82Updated last week
- Demo of ML for MNIST classification in a zero knowledge proof☆122Updated 2 years ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 2 months ago
- Toolkit based on cadCAD for performing automated routine tests and future predictions for a GEB deployment☆21Updated 2 years ago
- ☆89Updated 3 years ago
- ☆82Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- Tutorial for STARKs with supporting code in python☆215Updated last week
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆206Updated 2 years ago
- Open Ethereum Virtual Machine - Knowledgebase, Documentation, etc☆50Updated 7 months ago
- An online playground for zero knowledge circuits☆147Updated 7 months ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Updated 2 years ago
- An Awesome List for resources on the foundations of Decentralized Finance (DeFi)☆221Updated last year
- ☆195Updated last year
- Robust Incentives Group☆124Updated 3 weeks ago
- ☆60Updated 2 years ago
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆114Updated 9 months ago
- One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies☆101Updated 2 months ago
- Primitive Replicating Market Maker smart contracts☆131Updated 6 months ago
- Python simulator to test implementation of the RMMS paper results.☆56Updated 2 years ago
- A Python framework for designing, testing, and validating complex systems through modelling and simulation.☆102Updated 2 months ago
- ☆102Updated last year
- ☆36Updated 2 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆201Updated 7 months ago
- A curated list of repos related to Circom☆96Updated 2 years ago
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆118Updated last year
- An onchain game which explores different ZK game mechanics and information asymmetry☆93Updated last year