-
tikz.dev-style Public
Minimal example for producing a document in a similar style to tikz.dev
-
manim-skill Public
An Agent Skill for rendering Manim scenes to PNG frames and reviewing them.
-
pgf-tikz-html-manual Public
Forked from pgf-tikz/pgfHTML version of pgf-tikz documentation
-
KemenyHardnessLean Public
Formalized hardness reduction for Kemeny score for n = 3 voters.
-
ABCVotingLean Public
Approval-based committee voting results in Lean
-
lp-model Public
JavaScript package for modelling (Integer) Linear Programs
-
HardnessReductionsLean Public
A Lean4 project based on mathlib formalizing NP-hardness reductions
-
arxiv-source-browser Public
A web utility for browsing the LaTeX source of an arXiv paper
-
SocialChoiceLean Public
Formalization in Lean4 of axiomatic voting theory results
-
tikz-editor Public
A WYSIWYG editor for TikZ that parses TikZ code
-
local-compile-for-overleaf Public
Browser extension allowing compiling Overleaf project on local machine
-
desktop Public
Forked from desktop/desktopFocus on what matters instead of fighting with Git.
-
-
-
tauri Public
Forked from tauri-apps/tauriBuild smaller, faster, and more secure desktop and mobile applications with a web frontend.
Rust Apache License 2.0 UpdatedMay 15, 2026 -
-
scotus-podcast Public
A podcast feed of oral argument audio from the Supreme Court of the United States
-
velib-emmanuel-gregoire-map Public
Map tracking the Vélib of Emmanuel Grégoire
-
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 -
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 -
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.
{{ message }}