Alternatives and similar repositories for mirror:

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

• slowphil / texmacs-win-builder
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Updated 2 years ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆44Updated 2 months ago
• texmacs / notes
  Notes about TeXmacs
  ☆29Updated 4 months ago
• slowphil / mingw-w64-texmacs
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Updated last year
• XmacsLabs / Xmacs
  Xmacs renamed to Mogan
  ☆34Updated 3 years ago
• texmacs / texmacs-doc-chinese-translation
  TeXmacs文档翻译
  ☆25Updated 5 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 7 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 10 years ago
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆55Updated 3 months ago
• texmacs / markdown
  A markdown converter plugin for TeXmacs
  ☆26Updated last year
• slowphil / zotexmacs
  Have Zotero interact with TeXmacs
  ☆27Updated 2 years ago
• mgubi / texmacs
  Mirror of the TeXmacs SVN repository (https://savannah.gnu.org/projects/texmacs) and some related experimental code
  ☆14Updated last year
• thautwarm / frontend-for-free
  end the parsing problem
  ☆39Updated 2 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• mgubi / tm-jupyter
  A Jupyter client for TeXmacs
  ☆9Updated 3 years ago
• fp-china / fp-china.org
  Function Programming China home page
  ☆18Updated this week
• texmacs / kernel
  Kernel part subproject for GNU TeXmacs, GSoC only
  ☆36Updated 5 years ago
• kztao / yscheme
  a compiler from a subset of Scheme into X64
  ☆30Updated 10 years ago
• uternet / tspl-cn
  ☆28Updated 8 years ago
• XmacsLabs / goldfish
  Goldfish Scheme / 金鱼Scheme
  ☆55Updated this week
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆18Updated last month
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated last year
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 4 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆56Updated last week
• racket / eopl
  ☆39Updated 2 months ago
• latexstudio / ChenLaTeXBookTemplate
  ChenLaTeX书籍模板，群享书籍模板-由群共建-QQ群: 91940767
  ☆62Updated 5 years ago
• tumashu / pyim-greatdict
  A chinese-pyim dict, which include three million words!
  ☆30Updated 5 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
• dybvig / stex
  stex: stex to latex and latex to html converters and associated tools
  ☆88Updated last year
• RemuLang / sijuiacion-lang
  An IR for Python VM, provided with indirect jump instructions.
  ☆19Updated 5 years ago