Alternatives and similar repositories for CombinatorialAuctions

Users that are interested in CombinatorialAuctions are comparing it to the libraries listed below

• Mikerah / awesome-algorithmic-game-theory
  An Awesome list for resources on algorithmic game theory
  ☆161Updated 2 years ago
• degregat / awesome-mechanism-design
  A curated list of mechanism design resources and links.
  ☆19Updated 4 years ago
• dapp-studies / blockchain-reading-group
  Papers relating to decentralized applications.
  ☆16Updated 8 years ago
• sid230798 / Game_Theory
  This repository analyses Strategic form games for N-player calculating various Equilibrium's, Calculate MSNE for 2-Player strategic form …
  ☆13Updated 5 years ago
• AthenaFoundation / athena
  Athena is a modern, practical language for proof engineering & natural deduction.
  ☆72Updated 2 months ago
• lambdaclass / finance_playground
  Juypter notebooks playground to explore and analyse economy and finance ideas
  ☆97Updated last year
• sky-ecosystem / market-maker-stats
  Maker Keeper Framework: Set of tools to analyze market maker keepers performance.
  ☆34Updated 3 years ago
• livnev / auction-grinding
  a description of the auction grinding attack
  ☆23Updated 7 years ago
• 0xae / omx-engine
  An extensible, dynamic and blazing fast derivatives trading engine
  ☆11Updated 2 years ago
• guanqun / uethers
  Minimal Ethereum RPC Client in Rust
  ☆11Updated last year
• mxaddict / mmaker
  MMaker is a Market Making trading bot
  ☆32Updated 2 years ago
• RhizoNymph / DCAOptimization
  Research attempting to beat a naive dca with volatility forecasts and range position based weightings
  ☆12Updated 4 years ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆13Updated 2 years ago
• bcc-research / resource-pricing
  Code for Dynamic Pricing for Non-fungible Resources
  ☆17Updated 2 years ago
• DZGoldman / Deorg
  ☆23Updated 4 years ago
• aklamun / stablecoin_deleveraging
  Resources from paper "(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks"
  ☆18Updated 3 years ago
• lex-node / SafeHarbor-X
  Potential Proposed Securities Act Rule 195. Exemption for Qualifying Distributions of Autonomous Cryptotokens (Forked from Hester Peirce …
  ☆21Updated 2 years ago
• quantlabs / db-fx-strategy
  Roll model for trading strategy to C++ or FPGA via Matlab tool
  ☆10Updated 10 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆55Updated last year
• lschlessinger1 / Trading-Bot
  A trading strategy for prediction markets mediated by the logarithmic market scoring rule (LMSR) market maker
  ☆13Updated 7 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 3 years ago
• anneouyang / horizen
  Simulating a modified Satoshi consensus (penalty system for delayed block submission) by Horizen to enhance protection against 51% attack…
  ☆16Updated 5 years ago
• fetchai / agents-tac
  Competition and Agent Frameworks for the Trading Agents Competition
  ☆29Updated 2 years ago
• JeremyRubin / MAST
  6.858 final project.
  ☆18Updated 9 years ago
• ChuaCheowHuan / gym-continuousDoubleAuction
  A custom MARL (multi-agent reinforcement learning) environment where multiple agents trade against one another (self-play) in a zero-sum …
  ☆147Updated this week
• WeizhaoT / geth_peri
  Customized Go-Ethereum client supporting Peri algorithm and latency measurement on Ethereum mainnet and testnets.
  ☆16Updated 2 years ago
• avsbgame / avsb
  ☆21Updated 3 years ago
• warpdex / jul
  Superset of Yul
  ☆16Updated 3 months ago
• infinitefield / yawc
  Fast, secure, RFC-compliant WebSocket implementation for Rust, supporting compression
  ☆35Updated this week
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 5 years ago