-
-
SocialChoiceLean Public
Formalization in Lean4 of axiomatic voting theory results
Lean UpdatedJan 9, 2026 -
pgf-tikz-html-manual Public
Forked from pgf-tikz/pgfHTML version of pgf-tikz documentation
-
-
pref_voting-app Public
A web app for computing voting rules based on rankings
-
hpmor.info Public
An Annotated Version of Harry Potter and the Methods of Rationality
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedDec 29, 2025 -
texpresso Public
Forked from let-def/texpressoTeXpresso: live rendering and error reporting for LaTeX
C MIT License UpdatedDec 25, 2025 -
ABCVotingLean Public
Approval-based committee voting results in Lean
Lean MIT License UpdatedDec 25, 2025 -
arxiv-source-browser Public
A web utility for browsing the LaTeX source of an arXiv paper
-
scotus-podcast Public
A podcast feed of oral argument audio from the Supreme Court of the United States
-
manim-skill Public
An Agent Skill for rendering Manim scenes to PNG frames and reviewing them.
Python MIT License UpdatedDec 22, 2025 -
scotus-videos Public
Code for producing videos of transcripts of Supreme Court arguments
-
texpresso-vscode Public
Visual Studio Code extension for interacting with texpresso
-
abcvoting-app Public
An online app for computing approval based committee election rules.
-
comsoc-website Public
Forked from COMSOC-Community/comsoc-websiteCentral website for the COMSOC Community
HTML GNU General Public License v3.0 UpdatedOct 5, 2025 -
hotcrp Public
Forked from kohler/hotcrpHotCRP conference review software
PHP Other UpdatedSep 30, 2025 -
python-mip Public
Forked from coin-or/python-mipPython-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs
Python Eclipse Public License 2.0 UpdatedAug 26, 2025 -
pgfplots-html-manual Public
Forked from pgf-tikz/pgfplotsOnline HTML version of the manual of the pgfplots TeX package
-
ltex-ls-plus Public
Forked from ltex-plus/ltex-ls-plusLTeX+ Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others
Kotlin Mozilla Public License 2.0 UpdatedJul 28, 2025 -
abcvoting Public
Forked from martinlackner/abcvotingPython implementations of approval-based committee (multi-winner) voting rules
Python MIT License UpdatedJul 19, 2025 -
pabutools Public
Forked from COMSOC-Community/pabutoolsPython GNU General Public License v3.0 UpdatedJun 2, 2025 -
consuldemocracy Public
Forked from consuldemocracy/consuldemocracyConsul Democracy - Open Government and E-Participation Web Software
Ruby GNU Affero General Public License v3.0 UpdatedMar 1, 2025 -
core-few-candidates Public
Code supporting the paper "The Core of Approval-Based Committee Elections with Few Candidates"
Jupyter Notebook UpdatedFeb 1, 2025 -
-
scs.wasm Public
WebAssembly version of the SCS convex programming solver
HTML MIT License UpdatedJan 11, 2025 -
-
ecos Public
Forked from embotech/ecosA lightweight conic solver for second-order cone programming.
C GNU General Public License v3.0 UpdatedJan 1, 2025 -
Clarabel.rs Public
Forked from oxfordcontrol/Clarabel.rsClarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Rust Apache License 2.0 UpdatedDec 31, 2024 -
pabulib-checker Public
Forked from pabulib/checkerA Python library for validating files in the PB (Pabulib) format, ensuring compliance with the standards described at pabulib.org/format.
Python UpdatedDec 28, 2024
{{ message }}