Alternatives and similar repositories for texmacs-win-builder

Users that are interested in texmacs-win-builder are comparing it to the libraries listed below

• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆43Updated last month
• texmacs / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆32Updated 3 months ago
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• texmacs / notes
  Notes about TeXmacs
  ☆29Updated 2 months ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• XmacsLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆76Updated this week
• racket / eopl
  ☆39Updated last month
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆35Updated 5 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆80Updated 10 years ago
• guenchi / ChezJS
  Compile JavaScript to Native Code
  ☆29Updated 5 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆19Updated 8 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• thautwarm / RBNF
  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
• texmacs / texmacs-doc-chinese-translation
  TeXmacs文档翻译
  ☆25Updated 6 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• iovxw / chez-json
  A JSON library for Chez Scheme
  ☆14Updated 8 years ago
• guenchi / TSPL
  The Scheme Programming Language - ZhCN
  ☆45Updated 7 months ago
• mflatt / jit-demo
  ☆65Updated 8 years ago
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆26Updated last year
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 7 months ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 4 years ago
• maoif / ChezScheme
  Chez Scheme
  ☆15Updated 2 months ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆57Updated 2 weeks ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆31Updated 11 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 7 months ago