Collection of builtin GNU TeXmacs plugins
☆45Aug 4, 2025Updated 8 months ago
Alternatives and similar repositories for plugins
Users that are interested in plugins are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror of the GNU TeXmacs SVN☆651Updated this week
- TeXmacs文档翻译☆25Jun 22, 2019Updated 6 years ago
- Mirror only, DO NOT SUBMIT PR☆32Jun 9, 2025Updated 10 months ago
- Notes about TeXmacs☆30Jul 22, 2025Updated 8 months ago
- Improve the performance of atoi()☆13Jan 23, 2016Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A markdown converter plugin for TeXmacs☆27Oct 24, 2023Updated 2 years ago
- miniKanren with a constraint-based negation operator☆10May 10, 2014Updated 11 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 3 years ago
- A repository of user contributed content for TeXmacs☆59Feb 12, 2026Updated last month
- Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!☆546Apr 3, 2026Updated last week
- Sources and Documentation for the HINT project☆11Mar 31, 2026Updated last week
- ☆22Dec 5, 2023Updated 2 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- A ConTeXt (>= MkIV ) module that supports Chinese fonts.☆28Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Let Chinese font's alignment be compatible with English font in Emacs☆13May 7, 2020Updated 5 years ago
- 史记注译电子书制作☆48Feb 20, 2018Updated 8 years ago
- 用于Rime输入法的郑码方案☆13Jun 15, 2023Updated 2 years ago
- Send calendar invitations☆14May 1, 2024Updated last year
- Fuzzy auto-completion for Beancount & other Ledger-likes☆16Sep 11, 2021Updated 4 years ago
- C library to fetch media info from websites☆15Jan 19, 2025Updated last year
- 0install feeds/packages for common apps and libraries☆53Updated this week
- 有关 Qv2ray 主项目及插件不再进行维护的通知☆17Aug 17, 2021Updated 4 years ago
- 使用mnn-llm对GOT-OCR2.0进行推理☆14Oct 2, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Implement of Knuth-plass algorithm in emacs-lisp, support for mixed typesetting of CJK and Latin languages.☆27Feb 20, 2026Updated last month
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Dec 31, 2023Updated 2 years ago
- Binary emacsql-sqlite.exe for Windows (for Org-roam V2)☆17Mar 11, 2023Updated 3 years ago
- Fortran Design Patterns.（Fortran语言设计模式）☆16Jul 25, 2024Updated last year
- 🚀 High-performance MCP Server for Crawl4AI - Enable AI assistants to access web scraping, crawling, and deep research via Model Context …☆26Jan 1, 2026Updated 3 months ago
- Jupyter Kernel for Mathics☆20Oct 26, 2016Updated 9 years ago
- 解析E站各个页面的元数据☆16Feb 12, 2020Updated 6 years ago
- A GNU Make Project Template for STM32F103 working well on Linux☆13Apr 23, 2017Updated 8 years ago
- Combinators in C☆37Jun 5, 2012Updated 13 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆18Jan 10, 2022Updated 4 years ago
- Coroutine implementation for C++11☆18Apr 14, 2012Updated 13 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Mar 28, 2010Updated 16 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Paste things in the same order in which you copied them☆25Dec 23, 2022Updated 3 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 5 years ago
- kde widget for representation of karaoke styled lyrics.☆22Oct 20, 2024Updated last year