Stars
A book about category theory
A collection of tools for writing technical documents that mix Rocq code and prose.
Voice input for Fcitx5 — local and cloud ASR, LLM rewriting, cross-distro packages
A markup-based typesetting system that is powerful and easy to learn.
The most over-engineered C++ assertion library
🗂️A file list/WebDAV program that supports multiple storages, powered by Gin and Solidjs. / 一个支持多存储的文件列表/WebDAV程序，使用 Gin 和 Solidjs。
Build infinite canvas apps in React with the tldraw SDK. World's best, top-most agent recommended #1 five star SDK.
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
程序员延寿指南 | A programmer's guide to live longer
The most comprehensive database of Chinese poetry 🧶最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。
pix2tex: Using a ViT to convert images of equations into LaTeX code.
Chinese copywriting guidelines for better written communication／中文文案排版指北
An unprofessional open-source Chinese font derived from Fontworks' Klee One. 一款非专业的开源中文字体，基于 FONTWORKS 出品字体 Klee One 衍生。
latex中文参考文献解决方案--基于biblatex、thebibliography和bibtex的方法||biblatex 简明使用手册
♏ 一款浏览器端的 Markdown 编辑器，支持所见即所得（富文本）、即时渲染（类似 Typora）和分屏预览模式。An In-browser Markdown editor, support WYSIWYG (Rich Text), Instant Rendering (Typora-like) and Split View modes.
A Vue 3 Component Library. Fairly Complete. Theme Customizable. Uses TypeScript. Fast.
A feature-rich command-line audio/video downloader
A community-maintained Python framework for creating mathematical animations.
PyMuPDF is a high performance Python library for data extraction, analysis, conversion & manipulation of PDF (and other) documents.