Collection of builtin GNU TeXmacs plugins
☆45Aug 4, 2025Updated 6 months ago
Alternatives and similar repositories for plugins
Users that are interested in plugins are comparing it to the libraries listed below
Sorting:
- Mirror of the GNU TeXmacs SVN☆643Updated this week
- Notes about TeXmacs☆29Jul 22, 2025Updated 7 months ago
- TeXmacs文档翻译☆25Jun 22, 2019Updated 6 years ago
- A markdown converter plugin for TeXmacs☆27Oct 24, 2023Updated 2 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Jun 20, 2022Updated 3 years ago
- A visual graph editor widget for SageMath☆10Jun 21, 2022Updated 3 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 12 years ago
- Improve the performance of atoi()☆13Jan 23, 2016Updated 10 years ago
- Beancount editing support for Jetbrains IDEs☆15Sep 5, 2025Updated 5 months ago
- A repository of user contributed content for TeXmacs☆58Feb 12, 2026Updated 2 weeks ago
- A GNU Make Project Template for STM32F103 working well on Linux☆13Apr 23, 2017Updated 8 years ago
- A Mediawiki extension : Use Unicode IDS to resolve ancient Chinese lacking characters.☆16Nov 20, 2016Updated 9 years ago
- secondchess is a chess engine by Emilio Díaz, based on firstchess by Pham Hong Nguyen☆19Nov 25, 2018Updated 7 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 4 years ago
- Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!☆522Updated this week
- 史记注译电子书制作☆48Feb 20, 2018Updated 8 years ago
- An Elegant Graphics-rich OS Based on Nothing☆16Jun 8, 2017Updated 8 years ago
- Jupyter Kernel for Mathics☆20Oct 26, 2016Updated 9 years ago
- Interface to Polymake using CxxWrap☆30Feb 10, 2026Updated 2 weeks ago
- Repository for raising issues and requesting help on Ubermag☆11Nov 8, 2023Updated 2 years ago
- Lectures "Geometry and physics of black holes"☆37Feb 2, 2026Updated 3 weeks ago
- Designs for 3D printed parts that were developed in the Zhuang Lab.☆11Dec 2, 2020Updated 5 years ago
- Quetty the cutest queue manager <3☆19Updated this week
- Windows tool for connecting to AWS EC2 instances using SSM, WinSCP or RDP☆12Nov 8, 2021Updated 4 years ago
- A full-featured Foundry VTT game system compatible with popular fantasy RPGs from the 1980s and 1990s. Its flexible setup options ensure …☆15Feb 17, 2026Updated last week
- A Binder repo for SageMath computing environment☆38Updated this week
- 强大灵活的移动端web nas文件管理☆17Jan 5, 2026Updated last month
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Dec 31, 2023Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Implementation of Mejias et al. 2016: Feedforward and feedback frequency-dependent interactions in a large-scale laminar network of the p…☆10Nov 25, 2025Updated 3 months ago
- ServiceComb-CRM-WorkShop项目是使用ServiceComb构建完整CRM系统的教学Demo☆10Nov 5, 2018Updated 7 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Mar 28, 2010Updated 15 years ago
- Front-end web for CCSE Open Source Mirrors☆14Jan 7, 2026Updated last month
- ☆13Updated this week
- Interactive map of neural connections in the nematode C. elegans. Online at http://nemanode.org.☆11May 30, 2024Updated last year
- Example project to demonstrate how to connect to a SOAP webservice from a Spring Boot component.☆11Dec 29, 2019Updated 6 years ago
- springboot万用模板☆16Feb 8, 2023Updated 3 years ago
- Python Telegraph api.☆15Mar 22, 2025Updated 11 months ago
- The new emerging Non Linear Video Editor for Linux. Backup of Lumiera master repository☆15Jan 13, 2026Updated last month