martinlackner / abcvoting

Related projects: ⓘ

• martinlackner / apportionment
  A Python implementation of common apportionment methods
  ☆15Updated 2 years ago
• PrefLib / PrefLib-Tools
  ☆20Updated this week
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆54Updated 2 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆58Updated 6 years ago
• toulbar2 / toulbar2
  Exact optimization for cost function networks and additive graphical models
  ☆50Updated this week
• crillab / pyxai
  PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…
  ☆29Updated 2 weeks ago
• QuMuLab / dsharp
  ☆16Updated 2 years ago
• holgerdell / color-refinement
  A visual demo of the color refinement algorithm
  ☆14Updated 2 months ago
• electionscience / vse-sim
  Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.
  ☆57Updated last year
• Socrats / EGTTools
  Toolbox for Evolutionary Game Theory.
  ☆80Updated this week
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆60Updated last week
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 2 months ago
• Equal-Vote / star-server
  STAR Voting is an upgrade to our current way of voting that allows voters to score candidates from 0 to 5. Ultimately, STAR Voting elects…
  ☆18Updated this week
• PesantGilles / MiniCPBP
  Replacing standard support propagation by belief propagation in MiniCP
  ☆11Updated 3 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆81Updated last month
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated last year
• conjure-cp / EssenceCatalog
  A collection of problem specifications in Essence.
  ☆10Updated 4 months ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆27Updated last month
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆25Updated 5 months ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆33Updated 4 months ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆89Updated 3 weeks ago
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆17Updated 2 months ago
• remimorvan / knowledge-clustering
  Clustering notions for the knowledge LaTeX package
  ☆13Updated last month
• tif-calin / votevote
  Voting systems comparison website. Simulate a single election in dozens of different voting methods including plurality, borda count, ins…
  ☆18Updated 9 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆31Updated 2 weeks ago
• barakeel / oeis-synthesis
  ☆22Updated this week
• nameiwillforget / hegel-in-mathematics
  My exposition of the formalization of Hegel's theory in modal homotopy type theory
  ☆12Updated last year
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆21Updated 2 months ago
• teaching-lab / reflective-diary
  Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)
  ☆26Updated 3 months ago
• johnh865 / election_sim
  Election simulator and election implementation for scored methods, ranked Condorcet methods, IRV, multi-winner, and more.
  ☆11Updated 2 years ago