slowphil / texmacs-win-builderLinks
Automate building of TeXmacs on windows using MSys2/Mingw-w32
☆10Updated 3 years ago
Alternatives and similar repositories for texmacs-win-builder
Users that are interested in texmacs-win-builder are comparing it to the libraries listed below
Sorting:
- Collection of builtin GNU TeXmacs plugins☆45Updated 6 months ago
- Mirror only, DO NOT SUBMIT PR☆32Updated 8 months ago
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Updated 2 years ago
- ☆39Updated 2 months ago
- Notes about TeXmacs☆29Updated 6 months ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 6 years ago
- Chez Scheme☆15Updated 3 months ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Goldfish Scheme / 金鱼Scheme☆83Updated last week
- A repository of user contributed content for TeXmacs☆58Updated 3 months ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆26Updated last year
- A Scheme to x86-64 compiler in Scheme☆81Updated 10 years ago
- A pattern match macro for chez-scheme☆19Updated 8 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆19Updated last month
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Updated 6 years ago
- ☆34Updated 5 years ago
- ☆30Updated 8 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
- ☆10Updated last month
- The Dragon Virtual Machine.☆10Updated 8 years ago
- Distributed Algorithms — Online Textbook☆17Updated 5 years ago
- Synchronization for TeX☆82Updated 6 months ago
- Computer calculations made easy☆139Updated this week
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- The Scheme Programming Language - ZhCN☆44Updated last year
- IntelliJ plugin for several experimental programming languages here☆36Updated 4 years ago
- A Scheme interpreter in Python☆14Updated 11 years ago
- Genius programmer should write his own lisp!☆57Updated last month
- TeXmacs文档翻译☆25Updated 6 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Updated 15 years ago