#
math-is-all
Follow
Starred repositories
The "batteries included" extended library for the Lean programming language and theorem prover
Lean 3's obsolete mathematical components library: please use mathlib4
High-accuracy NLP parser with models for 11 languages.
MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
A feature-rich dictionary lookup program, supporting multiple dictionary formats (StarDict/Babylon/Lingvo/Dictd) and online dictionaries, featuring perfect article rendering with the complete marku…
自建拼音输入法词库，百万常用词汇量，适配 Fcitx5 (Linux / Android) 及 Gboard (Android + Magisk or KernelSU) 。
Free English to Chinese Dictionary Database
📚 Freely available programming books
A Dwarf Fortress starter pack builder for Linux & MacOS
Convert or render graphs (as ASCII, HTML, SVG or via Graphviz)
A new markup-based typesetting system that is powerful and easy to learn.
Virtual whiteboard for sketching hand-drawn like diagrams
A flow chart editing framework focus on business customization. 专注于业务自定义的流程图编辑框架，支持实现脑图、ER图、UML、工作流等各种图编辑场景。
A VS Code extension to simplify math writing in Typst
🏁 Web based Windows XP desktop recreation.
Math OCR model that outputs LaTeX and markdown
pix2tex: Using a ViT to convert images of equations into LaTeX code.
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
Convert HTML to PDF using Webkit (QtWebKit)
#1 Locally hosted web application that allows you to perform various operations on PDF files
Offline PDF editor. Add images, signatures, text to PDF in your browser. 🚀
PDF补丁丁——PDF工具箱，可以编辑书签、剪裁旋转页面、解除限制、提取或合并文档，探查文档结构，提取图片、转成图片等等