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
  ☆29Updated 5 months ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆44Updated 4 months ago
• texmacs / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆32Updated 2 weeks ago
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• XmacsLabs / interactive-sicp
  ☆19Updated 10 months ago
• maoif / ChezScheme
  Chez Scheme
  ☆15Updated 2 months ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• TennyZhuang / HaScheme
  HaScheme is a Scheme interpreter written by Haskell.
  ☆11Updated 8 years ago
• FR-vdash-bot / transcendental
  Lindemann–Weierstrass Theorem
  ☆11Updated last year
• DistributedComponents / InfSeqExt
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
  ☆17Updated 2 years ago
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆18Updated 3 weeks ago
• yanyingwang / http-client
  A practical http client library for sending data to http servers.
  ☆10Updated 11 months ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆25Updated 4 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆13Updated 9 months ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated this week
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 4 months ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 11 years ago
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆9Updated 5 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆33Updated last month
• cedille / cedille2
  ☆15Updated 5 months ago
• webyrd / relational-cesk
  Relational implementation of the CESK machine
  ☆21Updated 11 years ago
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆25Updated 10 months ago
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 2 years ago