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 3 months ago
• texmacs / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆32Updated last week
• texmacs / notes
  Notes about TeXmacs
  ☆29Updated 5 months ago
• maoif / ChezScheme
  Chez Scheme
  ☆14Updated last month
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• XmacsLabs / interactive-sicp
  ☆19Updated 9 months ago
• texmacs / markdown
  A markdown converter plugin for TeXmacs
  ☆26Updated last year
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• texmacs / texmacs-doc-chinese-translation
  TeXmacs文档翻译
  ☆25Updated 5 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• guenchi / ChezJS
  Compile JavaScript to Native Code
  ☆28Updated 5 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated 2 years ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆55Updated 4 months ago
• guenchi / Matplotlib
  Matplotlib for Chez Scheme
  ☆24Updated 5 years ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated 2 years ago
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆25Updated 9 months ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆18Updated 2 months ago
• ice1k / Theorems
  Theorems that rule this multiverse
  ☆11Updated 6 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 2 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 11 years ago
• racket / algol60
  ☆12Updated 3 weeks ago
• zhangxiaojie / tiny-scheme
  an experimental optimizing Scheme compiler
  ☆8Updated 13 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• XmacsLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆65Updated this week
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago