Alternatives and similar repositories for mirror

Users that are interested in mirror are comparing it to the libraries listed below

• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆45Updated 5 months ago
• texmacs / notes
  Notes about TeXmacs
  ☆29Updated 5 months ago
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated 2 years ago
• slowphil / texmacs-win-builder
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Updated 3 years ago
• texmacs / texmacs-doc-chinese-translation
  TeXmacs文档翻译
  ☆25Updated 6 years ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆58Updated 2 months ago
• XmacsLabs / Xmacs
  Xmacs renamed to Mogan
  ☆34Updated 3 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• KarlHegbloom / texmacs-karlheg-git-svn
  DEPRECATED REPO Mirror of the TeXmacs svn repository, using git-svn. Also contains guile-2.0 branch from gitorious.org/texmacs/thlai-tex…
  ☆15Updated 8 years ago
• texmacs / markdown
  A markdown converter plugin for TeXmacs
  ☆27Updated 2 years ago
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 6 years ago
• halirutan / Wolfram-Language-IntelliJ-Plugin-Archive
  Wolfram Language and Mathematica plugin for IntelliJ IDEA.
  ☆195Updated 2 years ago
• binghe / informatica-public
  Public code developed during my MSc study at University of Bologna
  ☆76Updated 3 years ago
• qinglee / GEB
  Gödel, Escher, Bach: an Eternal Golden Braid
  ☆87Updated 3 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆28Updated 4 years ago
• texmacs / texmacs
  Mirror of the GNU TeXmacs SVN
  ☆641Updated 2 weeks ago
• racket / eopl
  ☆39Updated last month
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆17Updated 9 months ago
• thautwarm / flowpython
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Updated 6 years ago
• clerkma / ptex-ng
  Asiatic pTeX
  ☆303Updated this week
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• dybvig / stex
  stex: stex to latex and latex to html converters and associated tools
  ☆93Updated 2 years ago
• flaneur2020 / lyah
  learn you a haskell for great good 中文版
  ☆146Updated 4 years ago
• MatrixForChange / files-viewer
  A File Manager for DrRacket
  ☆84Updated 2 years ago
• XmacsLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆79Updated 2 weeks ago
• mgubi / texmacs
  Mirror of the TeXmacs SVN repository (https://savannah.gnu.org/projects/texmacs) and some related experimental code
  ☆15Updated 2 months 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…
  ☆41Updated 7 years ago
• thautwarm / gkdhighlight
  syntax highligher for GkdTeX
  ☆25Updated 5 years ago
• jks-liu / R6RS.zh-cn
  R6RS 简体中文翻译
  ☆80Updated 8 years ago