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:
- Mirror only, DO NOT SUBMIT PR☆32Updated 6 months ago
- Collection of builtin GNU TeXmacs plugins☆45Updated 4 months ago
- ☆39Updated last month
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Updated 2 years ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 6 years ago
- Distributed Algorithms — Online Textbook☆16Updated 4 years ago
- Notes about TeXmacs☆29Updated 5 months ago
- Euclidean plane and its relatives; a minimalist introduction.☆19Updated last week
- Libraries and tools for topological and geometric modeling.☆17Updated 9 months ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 5 years ago
- A pattern match macro for chez-scheme☆19Updated 8 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Updated 6 years ago
- A Scheme to x86-64 compiler in Scheme☆81Updated 10 years ago
- 基于鸭子编译器写的os☆22Updated 5 years ago
- Genius programmer should write his own lisp!☆57Updated 2 weeks ago
- Relational implementation of the CESK machine☆21Updated 12 years ago
- Lisp Flavoured C++☆28Updated 4 years ago
- Chez Scheme☆15Updated last month
- a compiler from a subset of Scheme into X64☆31Updated 11 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
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆19Updated 7 years ago
- ☆65Updated 9 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 6 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 6 years ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- IntelliJ plugin for several experimental programming languages here☆36Updated 4 years ago
- some old code about scheme compiler I've ever wrote☆14Updated 6 months ago
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"☆13Updated 10 years ago