clu8 / CombinatorialAuctionsLinks
Implementation and evaluation of combinatorial auction protocols: VCG and Groves mechanism with submodular approximation (GM-SMA)
☆26Updated 2 years ago
Alternatives and similar repositories for CombinatorialAuctions
Users that are interested in CombinatorialAuctions are comparing it to the libraries listed below
Sorting:
- An Awesome list for resources on algorithmic game theory☆163Updated 2 years ago
- Simple implementation of regret matching algorithm for RPS nash equilibrium computation via self-play☆25Updated 7 years ago
- Finite Fields and Curves in Lean☆13Updated 2 years ago
- Juypter notebooks playground to explore and analyse economy and finance ideas☆97Updated 2 years ago
- Maker Keeper Framework: Set of tools to analyze market maker keepers performance.☆33Updated 3 years ago
- An extensible, dynamic and blazing fast derivatives trading engine☆12Updated 2 years ago
- Programs to test and prove game theory.☆18Updated 11 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated 3 months ago
- Resources from paper "(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks"☆18Updated 4 years ago
- Game Theory Explorer: Build, explore and solve extensive form games.☆96Updated 6 years ago
- a description of the auction grinding attack☆23Updated 7 years ago
- Research on fee markets and resource allocation in blockchains.☆11Updated 2 years ago
- ☆16Updated 3 years ago
- A custom MARL (multi-agent reinforcement learning) environment where multiple agents trade against one another (self-play) in a zero-sum …☆148Updated 2 months ago
- Research attempting to beat a naive dca with volatility forecasts and range position based weightings☆12Updated 4 years ago
- EDSL for automated, low-latency trading☆32Updated 7 years ago
- This repository analyses Strategic form games for N-player calculating various Equilibrium's, Calculate MSNE for 2-Player strategic form …☆13Updated 5 years ago
- Simple Smart Order Router for crypto market☆26Updated last year
- Minimal Ethereum RPC Client in Rust☆11Updated last year
- MMaker is a Market Making trading bot☆32Updated 2 years ago
- Papers relating to decentralized applications.☆15Updated 8 years ago
- High performance Rust API for KDB+☆13Updated 4 years ago
- A game theory framework with examples and algorithms☆73Updated 6 years ago
- The project simulates a generic agent based market model. The aim is to explore intimately, by simulation, the process of price formation…☆66Updated 10 years ago
- We reproduced DeepMind's results and implement a meta-learning (MLSH) agent which can generalize across minigames.☆29Updated 4 years ago
- Example 3D order book visualiser for crypto markets.☆88Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆57Updated last year
- Consensus-level Front-running protection mechanism using Threshold Identity-Based Encryption☆16Updated 2 years ago
- Basic set of utilities for streaming real time trade and limit order book event data☆14Updated 3 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 3 years ago