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 / notes
  Notes about TeXmacs
  ☆27Updated 2 months ago
• texmacs / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆32Updated this week
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆44Updated last month
• XmacsLabs / interactive-sicp
  ☆18Updated 7 months ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated last year
• guenchi / Matplotlib
  Matplotlib for Chez Scheme
  ☆24Updated 5 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• RemuLang / sijuiacion-lang
  An IR for Python VM, provided with indirect jump instructions.
  ☆19Updated 5 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• texmacs / texmacs-doc-chinese-translation
  TeXmacs文档翻译
  ☆25Updated 5 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆18Updated 5 years ago
• LiiiLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆54Updated last week
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 4 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated 2 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆9Updated 4 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• FR-vdash-bot / transcendental
  Lindemann–Weierstrass Theorem
  ☆11Updated 10 months ago
• DistributedComponents / InfSeqExt
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
  ☆17Updated 2 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 6 months ago