social-choice

Free and open source code of the https://tournesol.app platform. Meet the community on Discord https://discord.gg/WvcSG55Bf3

Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.

Python implementations of approval-based committee (multi-winner) voting rules

A Python implementation of common apportionment methods

The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.

Graduate course on fairness and collective decision-making in AI: measuring bias, social choice theory, and the economics and democratic stakes of automated decisions.

Autonomous Agent Borda Count & Condorcet Winner Social Choice Collective Decision Engine

Autonomous Agent Borda Count & Condorcet Winner Social Choice Collective Decision Engine

Election Simulator 3000: Monte Carlo simulations of voting methods and metrics under different voter models

Automatic design of voting rules using neural networks

Experimentation tool for exploring multi-model LLM deliberation + social choice voting

Measures on participatory budgeting elections.

Voting method exploration/simulation tool

Python library for social choice

Voting Systems - Implementations of various Social Choice Theory algorithms in Java 21

Formal verification of apportionment theory in Lean 4.

An implementation of Frege's voting method

Recognizing possibly single-peaked preferences

An undergraduate thesis about social choice theory and strategic voting.

Perpetual Voting Rules