Stars
An implementation of the Language Server Protocol for LaTeX
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.
Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
Emscripten: An LLVM-to-WebAssembly Compiler
Tiny and powerful JavaScript full-text search engine for browser and Node
A modern commutative diagram editor for the web.
sharevb / qpdf-wasm-esm
Forked from kairi003/qpdf-wasm-esmqpdf 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
1904labs / dom-to-image-more
Forked from tsayen/dom-to-imageGenerates an image from a DOM node using HTML5 canvas
An adapter to use ItemsJs based client-side search with an Algolia Instantsearch front-end.
A small package providing many algorithms to sample preferences
A complete set of tools to work with participatory budgeting elections.
Generate PDF for document website 🧑🔧
Online tool for adding chapters and other id3 tags to audio files
UI components and hooks for building video/audio players on the web. Robust, customizable, and accessible. Modern alternative to JW Player and Video.js.