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 5 months ago
• texmacs / notes
  Notes about TeXmacs
  ☆29Updated 6 months ago
• texmacs / mirror
  Mirror only, DO NOT SUBMIT PR
  ☆32Updated last month
• maoif / ChezScheme
  Chez Scheme
  ☆15Updated last week
• XmacsLabs / interactive-sicp
  ☆19Updated 10 months ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated 3 weeks ago
• XmacsLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆71Updated 3 weeks ago
• racket / eopl
  ☆39Updated 2 months ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• ustc-pldpa / PFPL
  Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
  ☆14Updated 7 years ago
• texmacs / texmacs-doc-chinese-translation
  TeXmacs文档翻译
  ☆25Updated 6 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆25Updated 4 years ago
• guenchi / ChezJS
  Compile JavaScript to Native Code
  ☆28Updated 5 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆79Updated 10 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…
  ☆40Updated 6 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆57Updated last week
• dubrousky / mockmma
  ☆30Updated 7 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆35Updated 3 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆13Updated 10 months ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 5 months ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆55Updated 5 months ago
• manateelazycat / flex
  It's a mode for flex files that provide better syntax highlight than flex-mode.el
  ☆9Updated 5 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• evilbinary / duck-os
  基于鸭子编译器写的os
  ☆22Updated 4 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• Milesturing / 4go
  four-country war game (Chinese-4-Stratego), a little practice using Racket to do real-world programming
  ☆8Updated 8 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 11 years ago