Python implementations of approval-based committee (multi-winner) voting rules
☆43Feb 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for abcvoting
Users that are interested in abcvoting are comparing it to the libraries listed below
Sorting:
- A small and lightweight Python package for working with and generating data from www.PrefLib.org.☆13Jun 12, 2025Updated 8 months ago
- A Python implementation of common apportionment methods☆20Feb 17, 2022Updated 4 years ago
- pref_voting is a Python package that can be used to study and run elections with different preferential voting methods (graded voting met…☆21Jan 29, 2026Updated last month
- Project repository for "Evaluating the persuasive influence of political microtargeting with large language models" by Kobi Hackenburg an…☆11Jun 19, 2024Updated last year
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- The official PyTorch implementation of the Iterated Integrated Attributions (IIA) method.☆10Jan 23, 2024Updated 2 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 14, 2026Updated 2 weeks ago
- 一键导出UESTC研究生系统课程表的ics文件，Tampermonkey脚本，详见下方链接☆10Sep 5, 2022Updated 3 years ago
- Banco de dados de votação das eleições municipais de 2020 para os cargos de vereador e prefeito com abrangência municipal.☆11Nov 20, 2020Updated 5 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- Julia Hands-on at ERAD-NE 2015☆10Apr 17, 2016Updated 9 years ago
- Python package and CLI tool for social choice functions☆14Jun 20, 2021Updated 4 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Duality of view between named variables and flat vectors in Julia☆12Nov 25, 2025Updated 3 months ago
- ☆11May 14, 2023Updated 2 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month
- Blockchain-based Federated Learning Utilizing Zero-Knowledge Proofs for Verifiable Training and Aggregation☆14Dec 26, 2024Updated last year
- Open source web application implementing MIST Misinformation Susceptibility Test☆14Nov 19, 2025Updated 3 months ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆15Jan 5, 2026Updated last month
- ☆14Nov 23, 2016Updated 9 years ago
- Progress meters using Julia's new logging infrastructure☆10Feb 8, 2020Updated 6 years ago
- Code for Engel, Grossmann & Ockenfels☆17Jan 2, 2026Updated 2 months ago
- A julia based machine learning package for boosting any loss, activation and constraint.☆10Jun 27, 2019Updated 6 years ago
- Optional argument checks allow you to omit them when performance is critical.☆10Aug 31, 2022Updated 3 years ago
- Collection of Python scripts for preference aggregation, estimation, and generation. Currently under initial development☆11Apr 20, 2019Updated 6 years ago
- ☆25Feb 25, 2026Updated last week
- ☆10Jan 18, 2022Updated 4 years ago
- Flatten Julia types to tuples or vectors, and un-flatten them later☆11Feb 8, 2020Updated 6 years ago
- A Julia package aims to provide several extensible interfaces and reusable components for Reinforcement Learning.☆13Feb 8, 2020Updated 6 years ago
- Defensive Programming For Social Scientists Workshop Materials☆10Jan 30, 2018Updated 8 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- Tools for working with Iterators of Iterators of ...., with particular application in NLP which has Corpus made up of Document made up of…☆13Aug 27, 2021Updated 4 years ago
- Library to ease use of the MASON ABM library with Clojure☆14Feb 8, 2023Updated 3 years ago
- ☆12Dec 29, 2019Updated 6 years ago
- Opinionated Framework for Developing Packages 🤷☆10Apr 27, 2018Updated 7 years ago