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 4 months ago
• texmacs / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆32Updated 6 months ago
• racket / eopl
  ☆39Updated 3 weeks ago
• texmacs / notes
  Notes about TeXmacs
  ☆29Updated 4 months ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 6 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆19Updated 8 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• dubrousky / mockmma
  ☆30Updated 7 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 7 years ago
• guenchi / ChezJS
  Compile JavaScript to Native Code
  ☆29Updated 5 years ago
• mflatt / jit-demo
  ☆65Updated 9 years ago
• XmacsLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆79Updated last week
• rewriting / tom
  ☆34Updated 5 years ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• racket / math
  ☆39Updated 3 weeks ago
• SnowOnion / category-theory-seminar-notes-cnu-2018
  首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…
  ☆19Updated 7 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 5 years ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆57Updated last month
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated 2 years ago
• yjqww6 / macrology
  ☆40Updated 4 years ago
• maoif / ChezScheme
  Chez Scheme
  ☆15Updated last month
• anton-petrunin / birkhoff
  Euclidean plane and its relatives; a minimalist introduction.
  ☆19Updated last week
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• tiancaiamao / shen-go
  A Go implementation of the Shen programming language
  ☆60Updated last month
• XmacsLabs / Xmacs
  Xmacs renamed to Mogan
  ☆34Updated 3 years ago