The swiss army knife of lossless video/audio editing

Emscripten: An LLVM-to-WebAssembly Compiler

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

Build interactive dashboards in minutes.

Create and modify PDF documents in any JavaScript environment

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

A modern commutative diagram editor for the web.

UI components and hooks for building video/audio players on the web. Robust, customizable, and accessible. Modern alternative to JW Player and Video.js.

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

🗺️ Generate an interactive geo heatmap from your Google location data

Web components for math display and input

An implementation of the Language Server Protocol for LaTeX

gentle forced aligner

A Portable Graphic Format for TeX

A collection of formalized statements of conjectures in Lean.

TeXpresso: live rendering and error reporting for LaTeX

Generates an image from a DOM node using HTML5 canvas

Splitting Conic Solver

TikZJax is TikZ running under WebAssembly in the browser

Generate PDF files with JavaScript and WASM (WebAssembly)

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

HotCRP conference review software

Extremely fast faceted search engine in JavaScript - lightweight, flexible, and simple to use

Lean Theorem Prover MCP

Pure JavaScript ID3 Tag library

Inference algorithms for models based on Luce's choice axiom

Generate PDF for document website 🧑‍🔧

GLPK for browser & node

GitHub Action to run arbitrary commands in a TeXLive environment

remark plugin to compile markdown to docx (Microsoft Word, Office Open XML).