#
math-is-all
Follow
Starred repositories
60
results
for source starred repositories
Clear filter
The "batteries included" extended library for the Lean programming language and theorem prover
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.
#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工具箱，可以编辑书签、剪裁旋转页面、解除限制、提取或合并文档，探查文档结构，提取图片、转成图片等等
Bibliography of Scheme research (readscheme.org and beyond)
Official home of the DB Browser for SQLite (DB4S) project. Previously known as "SQLite Database Browser" and "Database Browser for SQLite". Website at:
Solutions to AIMA (Artificial Intelligence: A Modern Approach)