Mikerah / awesome-algorithmic-game-theoryLinks
An Awesome list for resources on algorithmic game theory
☆161Updated 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
Sorting:
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆55Updated 3 years ago
- Introductory lecture notes on programmable cryptography☆103Updated 3 weeks ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies☆112Updated 6 months ago
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆210Updated 2 years ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆166Updated 2 years ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 6 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆126Updated 2 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆216Updated 11 months ago
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆142Updated 8 months ago
- Demo of ML for MNIST classification in a zero knowledge proof☆123Updated 2 years ago
- ☆36Updated 3 years ago
- An online playground for zero knowledge circuits☆152Updated 2 weeks ago
- Verifying a 512-layer CNN w/ Nova☆168Updated 2 years ago
- Robust Incentives Group☆125Updated 3 months ago
- private quantized linear regression on Ethereum☆215Updated 2 years ago
- Template for integrating RISC Zero and Ethereum using Foundry☆135Updated last week
- Transaction markets in Python☆59Updated 2 years ago
- A template for noir.☆142Updated last year
- Learning Cryptography in Public☆174Updated 2 years ago
- Zero-Knowledge Proofs "for (not too much ) dummies"☆122Updated last year
- Open Ethereum Virtual Machine - Knowledgebase, Documentation, etc☆49Updated 11 months ago
- A smart contract wallet controlled using email☆167Updated 2 months ago
- ☆102Updated 2 years ago
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆114Updated last year
- ☆89Updated 3 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆109Updated 2 years ago
- An Awesome List for resources on the foundations of Decentralized Finance (DeFi)☆221Updated 2 years ago
- Publications of Runtime Verification, Inc.☆93Updated 2 months ago
- Primitive Replicating Market Maker smart contracts☆131Updated 11 months ago