☁️ A bookmarklet for download photos in Instagram

Pabulib PB dataset files — current snapshots and full change history of all .pb files.

Web components for math display and input

Modern macOS haptics (Taptic Engine™️) plugin for Tauri v2 apps.

Supports clipboard change listening and enables reading and writing of various clipboard formats (plain text, rich text, html, image, and files).

Frontend for Pabulib PB datasets — browse, search, and bulk‑download .pb files.

Office PowerPoint(.pptx) file to JSON | 将 PPTX 文件转为可读的 JSON 数据

LaTeX for Visual Studio Code

An implementation of the Language Server Protocol for LaTeX

Lean Theorem Prover MCP

Kakutani fixed-point theorem and Brouwer fixed-point theorem formalized and proven in Lean 4

A collection of formalized statements of conjectures in Lean.

VSCode extension providing a TikZiT-like GUI for TikZ editing

Node library for resolving WSL (Windows Subsystem for Linux) filepaths to windows paths and vice versa

A CLI tool for analyzing Claude Code/Codex CLI usage from local JSONL files.

🎞️ Crop, flip and trim videos right from your web browser.

gentle forced aligner

Python bindings for LibNormaliz

Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.

Emscripten: An LLVM-to-WebAssembly Compiler

Splitting Conic Solver

Tiny and powerful JavaScript full-text search engine for browser and Node

A modern commutative diagram editor for the web.

🐧 Penguins in LaTeX with TikZ

qpdf compiled to WASM

TeXpresso: live rendering and error reporting for LaTeX

Simple trivia game with the Paris metro information

GitHub Action to run arbitrary commands in a TeXLive environment

The LaTeX lwarp package — Convert LaTeX to HTML.