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
  ☆45Updated 2 months ago
• texmacs / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆32Updated 4 months ago
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• texmacs / notes
  Notes about TeXmacs
  ☆29Updated 3 months ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆19Updated 8 years ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆57Updated last month
• racket / eopl
  ☆39Updated 2 months ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 5 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• XmacsLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆77Updated this week
• maoif / ChezScheme
  Chez Scheme
  ☆15Updated this week
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• guenchi / ChezJS
  Compile JavaScript to Native Code
  ☆29Updated 5 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 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
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• slatex / RusTeX
  A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
  ☆32Updated 2 weeks ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 5 years ago
• webyrd / relational-cesk
  Relational implementation of the CESK machine
  ☆21Updated 12 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆36Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• guenchi / TSPL
  The Scheme Programming Language - ZhCN
  ☆44Updated 8 months ago
• mflatt / jit-demo
  ☆64Updated 8 years ago
• MatrixForChange / files-viewer
  A File Manager for DrRacket
  ☆84Updated 2 years ago