-
scotus-podcast Public
A podcast feed of oral argument audio from the Supreme Court of the United States
-
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 -
scotus-videos Public
Code for producing videos of transcripts of Supreme Court arguments
-
pgf-tikz-html-manual Public
Forked from pgf-tikz/pgfHTML version of pgf-tikz documentation
-
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
-
texpresso-vscode Public
Visual Studio Code extension for interacting with texpresso
-
texpresso Public
Forked from let-def/texpressoTeXpresso: live rendering and error reporting for LaTeX
C MIT License UpdatedAug 12, 2025 -
hpmor.info Public
An Annotated Version of Harry Potter and the Methods of Rationality
-
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 -
arxiv-source-browser Public
A web utility for browsing the LaTeX source of an arXiv paper
TypeScript MIT License UpdatedJun 15, 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 -
scotusstats Public
scotusstats.com is a tool for exploring statistics related to cases heard by the Supreme Court of the United States.
-
PyNormaliz_inequalities Public
Python utility package for interacting with PyNormaliz
Python MIT License UpdatedDec 17, 2024 -
pref_voting-app Public
A web app for computing voting rules based on rankings
-
LaTeXML Public
Forked from brucemiller/LaTeXMLLaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
Perl Other UpdatedMay 2, 2024 -
apportionment-app Public
Web app for computing apportionment methods
JavaScript MIT License UpdatedApr 30, 2024 -
pref_voting Public
Forked from voting-tools/pref_votingJupyter Notebook MIT License UpdatedApr 27, 2024 -
pabutools-app Public
An online app for computing approval based participatory budgeting rules.
{{ message }}