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 / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆32Updated 4 months ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆44Updated 2 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
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆35Updated 5 years ago
• racket / eopl
  ☆39Updated last month
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆57Updated last month
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 5 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• cwi-swat / meta-environment
  The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…
  ☆16Updated 12 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆31Updated 6 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆19Updated 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
• guenchi / ChezJS
  Compile JavaScript to Native Code
  ☆29Updated 5 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆36Updated 3 years ago
• mflatt / jit-demo
  ☆65Updated 8 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• XmacsLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆77Updated this week
• rewriting / tom
  ☆34Updated 5 years ago
• maoif / ChezScheme
  Chez Scheme
  ☆15Updated 3 months ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated 3 months ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆31Updated 11 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆25Updated 4 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆28Updated 4 years ago