texmacs / plugins
Collection of builtin GNU TeXmacs plugins
☆44Updated 2 months ago
Alternatives and similar repositories for plugins:
Users that are interested in plugins are comparing it to the libraries listed below
- Notes about TeXmacs☆29Updated 3 months ago
- Mirror only, DO NOT SUBMIT PR☆32Updated last week
- TeXmacs文档翻译☆25Updated 5 years ago
- A repository of user contributed content for TeXmacs☆55Updated 3 months ago
- A markdown converter plugin for TeXmacs☆26Updated last year
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Updated last year
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 2 years ago
- Xmacs renamed to Mogan☆34Updated 3 years ago
- The Scheme Programming Language - ZhCN☆44Updated 2 months ago
- 一版使用XeLaTeX整理過的精排版的微積溯源☆21Updated last year
- Common Lisp Cookbook 中文版 (Chinese Version of Common Lisp Cookbook)☆43Updated last year
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 5 years ago
- Emacs China 搜集的周围朋友们的 Blog☆31Updated 5 years ago
- ConTeXt(>= MkIV)学习笔记☆30Updated 4 months ago
- Emacs implementation on Chez Scheme☆63Updated 5 years ago
- An Introduction to Scheme and its Implementation - Zhcn☆12Updated 5 years ago
- ☆30Updated 7 years ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆25Updated 8 months ago
- Goldfish Scheme / 金鱼Scheme☆52Updated last week
- old cicada attempt in rs☆3Updated last year
- 一些介绍性的文章☆32Updated 4 years ago
- A chinese-pyim dict, which include three million words!☆30Updated 5 years ago
- 用作文档目的,翻译方式见 Issue #10☆41Updated 6 years ago
- Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.☆16Updated 3 years ago
- Common Lisp Full Screen Window Manager☆30Updated 4 years ago
- Google Common Lisp Style Guide in Chinese☆13Updated 6 years ago
- ☆41Updated 7 years ago
- Let Over Lambda Chinese Translation☆13Updated last year
- four-country war game (Chinese-4-Stratego), a little practice using Racket to do real-world programming☆8Updated 8 years ago
- 基于鸭子编译器写的os☆22Updated 4 years ago