texmacs / mirrorLinks
Mirror only, DO NOT SUBMIT PR
☆32Updated 2 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☆44Updated 3 weeks ago
- Notes about TeXmacs☆29Updated last month
- 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
- A repository of user contributed content for TeXmacs☆56Updated last month
- DEPRECATED REPO Mirror of the TeXmacs svn repository, using git-svn. Also contains guile-2.0 branch from gitorious.org/texmacs/thlai-tex…☆15Updated 7 years ago
- miniKanren with a constraint-based negation operator☆10Updated 11 years ago
- A markdown converter plugin for TeXmacs☆26Updated last year
- Xmacs renamed to Mogan☆34Updated 3 years ago
- Public code developed during my MSc study at University of Bologna☆76Updated 2 years ago
- ☆39Updated 2 weeks ago
- 用作文档目的,翻译方式见 Issue #10☆41Updated 6 years ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 5 years ago
- Asiatic pTeX☆297Updated this week
- R6RS 简体中文翻译☆81Updated 8 years ago
- A File Manager for DrRacket☆84Updated 2 years ago
- stex: stex to latex and latex to html converters and associated tools☆89Updated last year
- a compiler from a subset of Scheme into X64☆31Updated 11 years ago
- Lisp Flavoured C++☆29Updated 4 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆86Updated 3 years ago
- binary files of Asiatic pTeX☆27Updated 6 years ago
- Libraries and tools for topological and geometric modeling.☆18Updated 5 months ago
- The Scheme Programming Language - ZhCN☆45Updated 6 months ago
- Wolfram Language and Mathematica plugin for IntelliJ IDEA.☆195Updated 2 years ago
- Chez Scheme Version 9 User's Guide - Zhcn☆60Updated 3 years ago
- Computer calculations made easy☆135Updated last year
- 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 6 years ago
- A Scheme interpreter base on R5RS specification.☆52Updated 5 years ago
- ☆28Updated 8 years ago