-
scotus-podcast Public
A podcast feed of oral argument audio from the Supreme Court of the United States
-
texstudio Public
Forked from texstudio-org/texstudioTeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.
C++ GNU General Public License v3.0 UpdatedApr 7, 2026 -
normaliz.wasm Public
WebAssembly build of Normaliz
JavaScript GNU General Public License v3.0 UpdatedApr 5, 2026 -
velib-emmanuel-gregoire-map Public
Map tracking the Vélib of Emmanuel Grégoire
-
arxiv-source-browser Public
A web utility for browsing the LaTeX source of an arXiv paper
-
lp-model Public
JavaScript package for modelling (Integer) Linear Programs
-
pptx2tikz Public
Convert PowerPoint slides to TikZ/LaTeX
JavaScript MIT License UpdatedMar 27, 2026 -
keynote-clipboard Public
Parser and converter for Keynote clipboard contents
TypeScript MIT License UpdatedMar 21, 2026 -
manim-skill Public
An Agent Skill for rendering Manim scenes to PNG frames and reviewing them.
Python MIT License UpdatedMar 15, 2026 -
xcolor-rgb-convert Public
Convert RGB colors to an xcolor mixture expression
TypeScript MIT License UpdatedMar 12, 2026 -
pb-vscode Public
VS Code extension providing language support for the Pabulib .pb participatory budgeting file format
TypeScript MIT License UpdatedMar 7, 2026 -
-
-
pabulib_front Public
Forked from pabulib/pabulib_frontFrontend for Pabulib PB datasets — browse, search, and bulk‑download .pb files.
HTML MIT License UpdatedMar 7, 2026 -
tikzjax Public
Forked from drgrice1/tikzjaxTikZJax is TikZ running under WebAssembly in the browser
JavaScript UpdatedMar 6, 2026 -
hotcrp Public
Forked from kohler/hotcrpHotCRP conference review software
PHP Other UpdatedMar 5, 2026 -
pabutools-app Public
An online app for computing approval based participatory budgeting rules.
-
pptxtojson Public
Forked from pipipi-pikachu/pptxtojsonOffice PowerPoint(.pptx) file to JSON | 将 PPTX 文件转为可读的 JSON 数据
JavaScript MIT License UpdatedMar 4, 2026 -
bib-indexer Public
VSCode extension for indexing bib files across your hard drive
-
scotus-videos Public
Code for producing videos of transcripts of Supreme Court arguments
-
SocialChoiceLean Public
Formalization in Lean4 of axiomatic voting theory results
-
pref_voting-app Public
A web app for computing voting rules based on rankings
-
pgf-tikz-html-manual Public
Forked from pgf-tikz/pgfHTML version of pgf-tikz documentation
-
-
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 -
texpresso-vscode Public
Visual Studio Code extension for interacting with texpresso
-
abcvoting-app Public
An online app for computing approval based committee election rules.
{{ message }}