-
comsoc-website Public
Forked from COMSOC-Community/comsoc-websiteCentral website for the COMSOC Community
HTML GNU General Public License v3.0 UpdatedOct 5, 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 -
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 -
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 -
drag-drop-weak-orders Public
JavaScript implementation of a drag and drop UI for weak orders (rankings with ties)
HTML MIT License UpdatedApr 26, 2024 -
svg2tikz Public
Forked from xyz2tex/svg2tikzAn Inkscape extension for exporting SVG paths as TikZ/PGF paths
Python Other UpdatedApr 26, 2024 -
auto-cmt Public
code for getting a quick overview of CMT discussion
Python MIT License UpdatedMar 24, 2024 -
-
ForumMagnum Public
Forked from ForumMagnum/ForumMagnumThe development repository for LessWrong2 and the EA Forum, based on Vulcan JS
TypeScript GNU General Public License v3.0 UpdatedMar 9, 2024 -
tikz.dev-style Public
Minimal example for producing a document in a similar style to tikz.dev
-
-
badgen.net Public
Forked from badgen/badgen.netFast badge service
TypeScript ISC License UpdatedFeb 20, 2024 -
PrefLib-Django Public
Forked from PrefLib/PrefLib-DjangoNew version of the website developped in Django
HTML GNU General Public License v3.0 UpdatedFeb 20, 2024 -
prefsampling Public
Forked from COMSOC-Community/prefsamplingA small package providing many algorithms to sample preferences
Python GNU General Public License v3.0 UpdatedFeb 13, 2024 -
adt2024 Public
Forked from PrefLib/adt2024Website for the 8th International Conference on Algorithmic Decision Theory (ADT 2024)
HTML BSD 2-Clause "Simplified" License UpdatedJan 30, 2024 -
glpk.js Public
Forked from jvail/glpk.jsGLPK for browser & node
JavaScript GNU General Public License v3.0 UpdatedDec 8, 2023
{{ message }}