slowphil / texmacs-win-builder
Automate building of TeXmacs on windows using MSys2/Mingw-w32
☆10Updated 2 years ago
Related projects: ⓘ
- Mirror only, DO NOT SUBMIT PR☆33Updated last week
- Collection of builtin GNU TeXmacs plugins☆39Updated last month
- programming languages invented/implemented by myself.☆8Updated last year
- Notes about TeXmacs☆23Updated last month
- Goldfish Scheme / 金鱼Scheme☆20Updated this week
- A pattern match macro for chez-scheme☆19Updated 7 years ago
- Matplotlib for Chez Scheme☆26Updated 4 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Updated 8 months ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Updated 4 years ago
- A repository of user contributed content for TeXmacs☆47Updated 8 months ago
- Compile JavaScript to Native Code☆28Updated 4 years ago
- a converter to markdown format for TeXmacs.☆10Updated 4 years ago
- OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations☆24Updated last month
- An IR for Python VM, provided with indirect jump instructions.☆19Updated 4 years ago
- A JSON library for Chez Scheme☆15Updated 7 years ago
- ☆15Updated this week
- VSCode extension for the Arend language☆11Updated last year
- ☆18Updated 3 weeks ago
- some old code about scheme compiler I've ever wrote☆14Updated last year
- Lisp Flavoured C++☆29Updated 3 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 11 years ago
- ☆28Updated 6 years ago
- Genius programmer should write his own lisp!☆50Updated this week
- TeXmacs文档翻译☆25Updated 5 years ago
- old cicada attempt in rs☆3Updated 9 months ago
- The MLPolyR programming language, revived☆24Updated 3 years ago
- A Scheme to x86-64 compiler in Scheme☆78Updated 9 years ago
- a language-aware tool for comparing programs☆28Updated 13 years ago