slowphil / texmacs-win-builderLinks
Automate building of TeXmacs on windows using MSys2/Mingw-w32
☆10Updated 2 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☆44Updated 3 months ago
- Mirror only, DO NOT SUBMIT PR☆32Updated last week
- Notes about TeXmacs☆29Updated 5 months ago
- Chez Scheme☆14Updated last month
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Updated last year
- ☆19Updated 9 months ago
- A markdown converter plugin for TeXmacs☆26Updated last year
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- TeXmacs文档翻译☆25Updated 5 years ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 5 years ago
- Compile JavaScript to Native Code☆28Updated 5 years ago
- VSCode extension for the Arend language☆11Updated 2 years ago
- A repository of user contributed content for TeXmacs☆55Updated 4 months ago
- Matplotlib for Chez Scheme☆24Updated 5 years ago
- some old code about scheme compiler I've ever wrote☆14Updated 2 years ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆25Updated 9 months ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- SML The Living Language☆11Updated 11 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Libraries and tools for topological and geometric modeling.☆18Updated 2 months ago
- Theorems that rule this multiverse☆11Updated 6 years ago
- 基于鸭子编译器写的os☆22Updated 4 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- The dependently & gradually typed Sage programming language☆9Updated 11 years ago
- ☆12Updated 3 weeks ago
- an experimental optimizing Scheme compiler☆8Updated 13 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Goldfish Scheme / 金鱼Scheme☆65Updated this week
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- ☆30Updated 7 years ago