An ultra-fast, lightweight compiler that compiles LaTeX/TeX formulas directly to native MathML for Markdown and the web, with zero runtime overhead.
☆126Jun 26, 2026Updated 2 weeks ago
Alternatives and similar repositories for math
Users that are interested in math are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A browser-based viewer for Office Open XML documents that renders to an HTML Canvas element.☆609Updated this week
- ibus使用大模型输入拼音☆44Jul 1, 2026Updated last week
- 👁️ The visual layer for CLI coding agents. Pipe JSON → interactive native UI → modified JSON back. Like fzf, but for visual decisions.☆65May 22, 2026Updated last month
- The missing control knob for your Mac's SMC — fan curves, battery charge limits, power policy. Open-source, CLI-first.☆141Jul 4, 2026Updated last week
- Real-time macOS system metrics (power, battery, CPU, temp, fan, memory, network) in your zsh RPROMPT☆68Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Open-source MITM proxy to intercept, inspect, and mock network traffic.☆573Jun 30, 2026Updated 2 weeks ago
- 弧线箭头生成，Curve Arrow☆42Apr 29, 2026Updated 2 months ago
- CLI to manage VPS hosts in ~/.ssh/config — interactive setup, list/search/edit/delete, encrypted backup. Standard OpenSSH files, zero loc…☆46Jun 17, 2026Updated 3 weeks ago
- 📜 诗泉：高性能中国古诗词 API 服务☆1,584Jul 4, 2026Updated last week
- 一个类似 Gitea 的 Git 仓库管理系统，采用 Go 语言开发。☆65Jun 13, 2026Updated last month
- 🚀 Pick the DNS that fits you☆244Updated this week
- Battle-tested programming patterns from production codebases — React, Linux, Go, Chromium, and more. Precise source links, multi-language…☆328Updated this week
- A browser-based video editor powered by ffmpeg.wasm. No uploads, no servers -- all processing happens locally in your browser using WebAs…☆988Jun 28, 2026Updated 2 weeks ago
- A privacy-first, local-first password manager with cross-platform synchronization.☆223Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- DimCut is a novel editing interaction design that folds the 1D timeline into multiple rows, integrating text, audio, and visuals — multid…☆151May 23, 2026Updated last month
- 浏览器内 AI React 编码沙箱（类 Web 版 Cursor），支持 AI 自我修复☆68Updated this week
- An encrypted SOCKS5/HTTP proxy tunnel over HTTP/SSE — built for environments where only plain HTTP works.☆142Updated this week
- A browser-based whiteboard recording app with slides, backgrounds, camera overlay and teleprompter.☆139May 2, 2026Updated 2 months ago
- Vue 3 terminal UI toolkit for browser DOM and CLI stdout: components, ANSI rendering, markdown transcripts, log views, and agent consoles…☆182Updated this week
- ☆135Jun 30, 2026Updated 2 weeks ago
- ☆441Updated this week
- 你的微信读书数据面板 -- 连接微信读书 Skill API，可视化书架、阅读统计、笔记划线，一键导出到 Notion 和 Flomo。☆163Jul 4, 2026Updated last week
- 🎨 点击式探索的知识画册，长按图片生成带标注子图 | Flipbook Canvas — click-to-explore knowledge picture-book. Long-press any image to spawn an annotated child d…☆358Jun 5, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Self-hosted short link and live QR platform with ownership, review, branded QR codes, analytics, and an auditable path to AI-assisted ope…☆108Updated this week
- Calculus Made Easy 非官方简体中文翻译☆389May 25, 2026Updated last month
- ☆394May 19, 2026Updated last month
- Unified network toolkit for Linux — Python 3 + PySide6☆89Updated this week
- A component based on OnlyOffice (v9) for viewing, editing, and converting documents entirely on the user's device, no backend required.基于…☆364Updated this week
- 个人相册语义资产生成器：扫描照片 → 视觉大模型标注 → 结构化数据 | Semantic asset generator for personal photo albums☆232Jun 5, 2026Updated last month
- Lightweight analytics backend for MWeb static blogs — PV/UV tracking, popular articles, and a built-in dashboard.☆73Apr 24, 2026Updated 2 months ago
- kite-desktop，一个基于 Wails v3 打造、面向桌面端的 K8S 多集群管理工具 🪁☆312May 31, 2026Updated last month
- SSH-AT is a desktop GUI tool for managing SSH keys, hosts, and configurations. Generate keys, edit `~/.ssh/config` visually, and keep aut…☆112Jul 2, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆136Jun 23, 2026Updated 3 weeks ago
- Stop babysitting local AI agents. Just notifications, approve, and resume your Codex,Pi,Grok, or Claude code sessions anywhere. 0-Intrusi…☆309Updated this week
- Free domain availability checker☆93May 22, 2026Updated last month
- fssh: The macOS SSH agent for managing keys with Touch ID and OTP. Secure your SSH private keys with biometric authentication and interac…☆73Jan 7, 2026Updated 6 months ago
- One Page Agent.The browser-native workbench that lives in One Page.☆129Jul 3, 2026Updated last week
- Modifier+drag to move any window smoothly on macOS, exactly like native speed☆175Jun 26, 2026Updated 2 weeks ago
- AI-Powered Automate Self-Media Video Generation Tools☆229Jun 30, 2026Updated 2 weeks ago