Alternatives and similar repositories for abcvoting

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

• martinlackner / apportionment
  A Python implementation of common apportionment methods
  ☆18Updated 3 years ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆55Updated 3 years ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆34Updated 7 months ago
• lansiz / nash-finder
  Find Nash equilibrium for all games
  ☆25Updated 2 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆62Updated 7 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 11 months ago
• gavento / gamegym
  A game theory framework with examples and algorithms
  ☆73Updated 6 years ago
• remimorvan / knowledge-clustering
  Clustering notions for the knowledge LaTeX package
  ☆16Updated last week
• 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
• Nikoleta-v3 / Game-Theory-and-Python
  Game Theory and Python, a workshop investigating repeated games using the prisoner's dilemma
  ☆184Updated 3 years ago
• electionscience / vse-sim
  Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.
  ☆59Updated last year
• erelsgl / fairpy
  An open-source library of fair division algorithms in Python
  ☆37Updated last year
• drvinceknight / Nashpy
  A python library for 2 player games.
  ☆354Updated last year
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆42Updated this week
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆26Updated last year
• b-mehta / unit-fractions
  ☆15Updated last year
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 6 months ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated 3 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• hexhex / hexlite
  Python-based HEX implementation for a fragment of the HEX language and a subset of features.
  ☆14Updated 3 years ago
• lucasmaystre / choix
  Inference algorithms for models based on Luce's choice axiom
  ☆169Updated 6 months ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• monasticacademy / logical-induction
  Code to support the guide to logical induction for software engineers
  ☆11Updated 2 months ago
• potassco / plingo
  🍀 A system for probabilistic reasoning in clingo
  ☆17Updated 11 months ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆54Updated this week
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆46Updated last year
• saisrivatsan / deep-opt-auctions
  Implementation of Optimal Auctions through Deep Learning
  ☆126Updated 5 years ago
• PrefLib / preflibtools
  A small and lightweight Python package for working with and generating data from www.PrefLib.org.
  ☆13Updated 6 months ago
• QuantEcon / MatchingMarkets.py
  Python toolbox for simulation of matching markets in economics
  ☆109Updated 4 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆94Updated 8 months ago