Python implementations of approval-based committee (multi-winner) voting rules
☆44May 30, 2026Updated 3 months ago
Alternatives and similar repositories for abcvoting
Users that are interested in abcvoting are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A small and lightweight Python package for working with and generating data from www.PrefLib.org.☆14Jun 12, 2025Updated last year
- A Python implementation of common apportionment methods☆22Feb 17, 2022Updated 4 years ago
- An open-source library of fair division algorithms in Python☆38Mar 25, 2024Updated 2 years ago
- Collection of Python scripts for preference aggregation, estimation, and generation. Currently under initial development☆11Apr 20, 2019Updated 7 years ago
- Examples of how to use NAIF SPICE for planetary and satellite calculations☆10Sep 23, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- When will the next leap second happen?☆12Mar 15, 2026Updated 5 months ago
- HiGlass track for displaying arcs between disconnected regions☆10Dec 13, 2022Updated 3 years ago
- FedMD: Heterogenous Federated Learning via Model Distillation☆21Nov 1, 2019Updated 6 years ago
- Golang VNC screenshot utility☆13Feb 19, 2018Updated 8 years ago
- Codebase for EA Modeling (for Transactions on Affective Computing paper)☆12Dec 8, 2022Updated 3 years ago
- Making graphs of player-player connections on twitter☆12Dec 17, 2018Updated 7 years ago
- Open source web application implementing MIST Misinformation Susceptibility Test☆16Nov 19, 2025Updated 9 months ago
- A local python client for accessing the jku moodle page.☆15Jul 5, 2022Updated 4 years ago
- Modelo de dissertação e teses em latex☆13Oct 23, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Octree is a shallow tree structure for 3-dimensional points☆20Jul 22, 2020Updated 6 years ago
- Dashboard for The OpenElections Project.☆17Jan 21, 2022Updated 4 years ago
- A forensic system baselining, searching, and evidence collection tool☆19Sep 4, 2019Updated 6 years ago
- Mirror of the aima-python svn repository☆15Mar 27, 2012Updated 14 years ago
- Modelling RBP binding preferences to predict RPB binding sites☆11Aug 11, 2023Updated 3 years ago
- Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.☆23Nov 5, 2018Updated 7 years ago
- Galaxy Workflow Format 2☆14Updated this week
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- ☆15Oct 9, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 🔝 The amazing Galaxy Tour Builder web extension. // See demo 👉☆17Jun 2, 2020Updated 6 years ago
- STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.☆29Jun 26, 2018Updated 8 years ago
- Official implementation of "CONCRETE: Improving Cross-lingual Fact Checking with Cross-lingual Retrieval" (COLING'22)☆15Oct 13, 2022Updated 3 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- twenty lectures on algorithmic game theory☆10May 11, 2021Updated 5 years ago
- 一键导出UESTC研究生系统课程表的ics文件，Tampermonkey脚本，详见下方链接☆11Sep 5, 2022Updated 3 years ago
- Hedonic Games for Network Clustering☆11Updated this week
- PDB parser in Haskell☆22Jun 26, 2026Updated 2 months ago
- ☆12Dec 29, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 5 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Aug 25, 2026Updated last week
- A pipeline for structural clustering of RNA secondary structures☆15Apr 21, 2021Updated 5 years ago
- OS first assignment, UESTC, 电子科技大学, CS ，计科，操作系统☆11Jun 19, 2017Updated 9 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 3 years ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jul 30, 2026Updated last month