Alternatives and similar repositories for abcvoting:

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

• erelsgl / fairpy
  An open-source library of fair division algorithms in Python
  ☆37Updated last year
• martinlackner / apportionment
  A Python implementation of common apportionment methods
  ☆18Updated 3 years ago
• PrefLib / preflibtools
  A small and lightweight Python package for working with and generating data from www.PrefLib.org.
  ☆13Updated 4 months ago
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆26Updated last year
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆55Updated 3 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆61Updated 7 years ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆13Updated 2 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆38Updated last year
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆36Updated 4 months ago
• Socrats / EGTTools
  Toolbox for Evolutionary Game Theory.
  ☆89Updated last week
• gambitproject / gte
  Game Theory Explorer: Build, explore and solve extensive form games.
  ☆90Updated 6 years ago
• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆71Updated this week
• alexeyignatiev / minds
  SAT-based miner of smallest size decision sets
  ☆12Updated 4 years ago
• holgerdell / color-refinement
  A visual demo of the color refinement algorithm
  ☆14Updated 9 months ago
• GermanZero-de / localzero-monitoring
  LocalZero Monitoring is a website with which activist groups can monitor their municipality's progress towards climate neutrality.
  ☆19Updated last week
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆35Updated 7 months ago
• solegga / blockchaincourse
  Blockchains and Distributed Ledgers
  ☆106Updated 4 months ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆44Updated 2 months ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆155Updated 10 months ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 2 weeks ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated last week
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆21Updated 3 years ago
• monasticacademy / logical-induction
  Code to support the guide to logical induction for software engineers
  ☆11Updated last week
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• cryptobib / export
  CryptoBib BibTex files
  ☆56Updated 2 months ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆31Updated last month
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆36Updated last year
• dtompkins / ubcsat
  The Stochastic Local Search SAT Solver from UBC
  ☆29Updated 2 years ago