texmacs / mirrorLinks
Mirror only, DO NOT SUBMIT PR
☆32Updated 5 months ago
Alternatives and similar repositories for mirror
Users that are interested in mirror are comparing it to the libraries listed below
Sorting:
- Collection of builtin GNU TeXmacs plugins☆45Updated 3 months ago
- Notes about TeXmacs☆29Updated 4 months ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 3 years ago
- TeXmacs文档翻译☆25Updated 6 years ago
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Updated last year
- Wolfram Language and Mathematica plugin for IntelliJ IDEA.☆195Updated 2 years ago
- A repository of user contributed content for TeXmacs☆57Updated 3 weeks ago
- DEPRECATED REPO Mirror of the TeXmacs svn repository, using git-svn. Also contains guile-2.0 branch from gitorious.org/texmacs/thlai-tex…☆15Updated 8 years ago
- miniKanren with a constraint-based negation operator☆10Updated 11 years ago
- Xmacs renamed to Mogan☆34Updated 3 years ago
- ☆39Updated 3 months ago
- Public code developed during my MSc study at University of Bologna☆76Updated 2 years ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 6 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 6 years ago
- A markdown converter plugin for TeXmacs☆27Updated 2 years ago
- The Scheme Programming Language - ZhCN☆44Updated 9 months ago
- A File Manager for DrRacket☆84Updated 2 years ago
- Libraries and tools for topological and geometric modeling.☆17Updated 8 months ago
- Chez Scheme Version 9 User's Guide - Zhcn☆60Updated 3 years ago
- This is source code of my book.☆67Updated 9 years ago
- R6RS 简体中文翻译☆80Updated 8 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆87Updated 3 years ago
- stex: stex to latex and latex to html converters and associated tools☆92Updated last year
- Genius programmer should write his own lisp!☆57Updated this week
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆41Updated 7 years ago
- ☆28Updated 8 years ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆26Updated last year
- Asiatic pTeX☆300Updated last week
- Mirror of the GNU TeXmacs SVN☆638Updated this week
- end the parsing problem☆40Updated 3 years ago