texmacs / mirrorLinks
Mirror only, DO NOT SUBMIT PR
☆32Updated 7 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 5 months ago
- Notes about TeXmacs☆29Updated 6 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 2 years ago
- A repository of user contributed content for TeXmacs☆58Updated 3 months ago
- Xmacs renamed to Mogan☆34Updated 4 years ago
- A markdown converter plugin for TeXmacs☆27Updated 2 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 6 years ago
- miniKanren with a constraint-based negation operator☆10Updated 11 years 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
- Wolfram Language and Mathematica plugin for IntelliJ IDEA.☆195Updated 2 years ago
- ☆39Updated 2 months ago
- stex: stex to latex and latex to html converters and associated tools☆93Updated 2 years ago
- 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
- Lisp Flavoured C++☆29Updated 4 years ago
- Libraries and tools for topological and geometric modeling.☆17Updated 10 months ago
- Mirror of the GNU TeXmacs SVN☆643Updated this week
- Public code developed during my MSc study at University of Bologna☆76Updated 3 years ago
- Learn LaTeX the Hard Way☆59Updated 9 years ago
- learn you a haskell for great good 中文版☆146Updated 4 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆88Updated 3 years ago
- Computer calculations made easy☆139Updated last year
- The Scheme Programming Language - ZhCN☆44Updated 11 months ago
- A File Manager for DrRacket☆84Updated 2 years ago
- A jupyter kernel for Wolfram Mathematica☆161Updated last year
- a compiler from a subset of Scheme into X64☆31Updated 11 years ago
- binary files of Asiatic pTeX☆27Updated 6 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆135Updated 11 years ago
- a language-aware tool for comparing programs☆28Updated 14 years ago