CNRS researcher in computer science and voting theory
tikz-editor. A WYSIWYG editor for TikZ that parses TikZ code
406pgf-tikz-html-manual. HTML version of pgf-tikz documentation
55scotus-videos. Code for producing videos of transcripts of Supreme Court arguments
46texpresso-vscode. Visual Studio Code extension for interacting with texpresso
29abcvoting-app. An online app for computing approval based committee election rules.
5tikz.dev-style. Minimal example for producing a document in a similar style to tikz.dev
4pref_voting-app. A web app for computing voting rules based on rankings
4lp-model. JavaScript package for modelling (Integer) Linear Programs
4hpmor.info. An Annotated Version of Harry Potter and the Methods of Rationality
4scotusstats. scotusstats.com is a tool for exploring statistics related to cases heard by the Supreme Court of the United States.
2tikz.dev-issues. Feedback, suggestions, and bug reports for tikz.dev
2scotus-podcast. A podcast feed of oral argument audio from the Supreme Court of the United States
2arxiv-source-browser. A web utility for browsing the LaTeX source of an arXiv paper
2SocialChoiceLean. Formalization in Lean4 of axiomatic voting theory results
2bib-indexer. VSCode extension for indexing bib files across your hard drive
2velib-emmanuel-gregoire-map. Map tracking the Vélib of Emmanuel Grégoire
2lpdual.com. Small website for help with writing down linear programming duals
1tikz-action-test.
1manim-skill. An Agent Skill for rendering Manim scenes to PNG frames and reviewing them.
1