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
  ☆44Updated 2 months ago
• texmacs / notes
  Notes about TeXmacs
  ☆28Updated 3 months ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• texmacs / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆32Updated this week
• XmacsLabs / interactive-sicp
  ☆18Updated 7 months ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• MarisaKirisame / extensible-parser
  ☆11Updated 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…
  ☆18Updated 6 years ago
• guenchi / Matplotlib
  Matplotlib for Chez Scheme
  ☆24Updated 5 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated last year
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆25Updated 8 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆31Updated last week
• texmacs / texmacs-doc-chinese-translation
  TeXmacs文档翻译
  ☆25Updated 5 years ago
• LighghtEeloo / data-types-a-la-carte
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Updated 2 years ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• MattX / peroxide
  Scheme in Rust
  ☆15Updated 3 years ago
• RemuLang / sijuiacion-lang
  An IR for Python VM, provided with indirect jump instructions.
  ☆19Updated 5 years ago
• rfindler / modern-macros-talk
  ☆14Updated 2 years ago
• racket / algol60
  ☆12Updated last month
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 2 months ago
• iovxw / chez-json
  A JSON library for Chez Scheme
  ☆14Updated 7 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated 2 years ago