Alternatives and similar repositories for abcvoting

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

• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆64Updated 7 years ago
• morinokami / social_choice
  Python program to calculate the winner of well-known winner selection methods, including the plurality method, the runoff method, the eli…
  ☆15Updated 7 years ago
• martinlackner / apportionment
  A Python implementation of common apportionment methods
  ☆18Updated 3 years ago
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆27Updated last year
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆55Updated 3 years ago
• niplav / iqisa
  Collection of compatible forecasting datasets
  ☆9Updated last year
• erelsgl / fairpy
  An open-source library of fair division algorithms in Python
  ☆37Updated last year
• gambitproject / gte
  Game Theory Explorer: Build, explore and solve extensive form games.
  ☆93Updated 6 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last month
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆18Updated 2 years ago
• adebray / equivariant_homotopy_theory
  Notes from Andrew Blumberg's class on equivariant homotopy theory
  ☆16Updated 2 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆22Updated last week
• remimorvan / knowledge-clustering
  Clustering notions for the knowledge LaTeX package
  ☆17Updated last month
• lucasmaystre / choix
  Inference algorithms for models based on Luce's choice axiom
  ☆174Updated 7 months ago
• JUrban / deepmath
  deep learning for math
  ☆30Updated 6 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 7 months ago
• chathika / NL4Py
  Bringing Your Turtles From NetLogo to Python 🐍🐢
  ☆52Updated 3 years ago
• oughtinc / ergo
  A Python library for integrating model-based and judgmental forecasting
  ☆107Updated 3 years ago
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆49Updated last year
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• monasticacademy / logical-induction
  Code to support the guide to logical induction for software engineers
  ☆11Updated 3 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated last month
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 9 months ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• Nikoleta-v3 / Game-Theory-and-Python
  Game Theory and Python, a workshop investigating repeated games using the prisoner's dilemma
  ☆185Updated last week
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆112Updated last month
• b-mehta / unit-fractions
  ☆15Updated last year
• latextemplates / lncs-enhanced
  Improved Lecture Notes in Computer Science (LNCS) template
  ☆265Updated 2 months ago