texmacs/mirror external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

texmacs/mirror

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/texmacs/mirror)

Close

texmacs / mirrorView on GitHubMore

• External links
• Readme badge

Mirror only, DO NOT SUBMIT PR

☆32Jun 9, 2025Updated 8 months ago

Alternatives and similar repositories for mirror

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

• mgubi / texmacs

  View on GitHub
  Mirror of the TeXmacs SVN repository (https://savannah.gnu.org/projects/texmacs) and some related experimental code
  ☆15Oct 14, 2025Updated 4 months ago
• slowphil / texmacs-win-builder

  View on GitHub
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Jun 20, 2022Updated 3 years ago
• lihaoyi / autojit

  View on GitHub
  ☆13Mar 23, 2019Updated 6 years ago
• sz-scala-meetup / scala-meetup-180902

  View on GitHub
  presentation material for 2018-09-02 scala meetup
  ☆12Oct 21, 2018Updated 7 years ago
• FastTracks / TheAkkaWay

  View on GitHub
  Akka Chinese Book / What should be included in it?
  ☆18Apr 10, 2017Updated 8 years ago
• WayneWang12 / akka-agent

  View on GitHub
  ☆47Jul 19, 2018Updated 7 years ago
• slowphil / mingw-w64-texmacs

  View on GitHub
  TeXmacs for Windows (build in MSys2/Mingw32 environment)
  ☆28Dec 31, 2023Updated 2 years ago
• texmacs / texmacs

  View on GitHub
  Mirror of the GNU TeXmacs SVN
  ☆647Updated this week
• texmacs / notes

  View on GitHub
  Notes about TeXmacs
  ☆29Jul 22, 2025Updated 7 months ago
• FastTracks / Netty-Best-Practices

  View on GitHub
  《Netty最佳实践》——《Netty实战》补遗
  ☆25Sep 25, 2018Updated 7 years ago
• scala-workers / commons-lang3-bridge

  View on GitHub
  ☆12Jan 6, 2026Updated 2 months ago
• scalax / poi-collection

  View on GitHub
  A Scala wrapper for Apache POI's Excel API.
  ☆11Jan 8, 2020Updated 6 years ago
• emacs-china / emacs-lisp-cn

  View on GitHub
  emacs lisp文档中文翻译
  ☆11Apr 27, 2015Updated 10 years ago
• MoganLab / Xmacs

  View on GitHub
  Xmacs renamed to Mogan
  ☆34Jan 9, 2022Updated 4 years ago
• ReactivePlatform / UserGroupCN

  View on GitHub
  Reactive Platform 中国用户组
  ☆16Jan 15, 2016Updated 10 years ago
• rhea1108 / CSUG

  View on GitHub
  China Scala User Group
  ☆38Oct 15, 2018Updated 7 years ago
• koji-kojiro / guile-python

  View on GitHub
  ☆22Aug 7, 2020Updated 5 years ago
• artyom-poptsov / guile-dsv

  View on GitHub
  Delimiter-separated values (DSV) format parser for GNU Guile.
  ☆18Jan 6, 2026Updated 2 months ago
• ReactivePlatform / Spring-In-Action-5

  View on GitHub
  《Spring 5实战》中文版代码清单
  ☆19Jul 23, 2021Updated 4 years ago
• dharmatech / psilab

  View on GitHub
  Libraries for Ypsilon Scheme
  ☆27Jun 10, 2010Updated 15 years ago
• ReactivePlatform / Pragmatic-Scala

  View on GitHub
  Pragmatic Scala 中文版——《Scala实用指南》代码清单（包含 SBT 版本（切到sbt分支））
  ☆169Oct 12, 2025Updated 4 months ago
• da-liii / Binding-SemanticUI

  View on GitHub
  On top of SemanticUI, this Scala.js project provides components defined in Ant Design with Binding.scala
  ☆15Jan 1, 2019Updated 7 years ago
• aconchillo / guile-oauth

  View on GitHub
  OAuth module for Guile
  ☆21Jan 2, 2023Updated 3 years ago
• wangzaixiang / scala-sql

  View on GitHub
  scala SQL api
  ☆88Aug 7, 2025Updated 6 months ago
• dcyoagames / sissylifecyoa

  View on GitHub
  Sissy Life CYOA
  ☆12Sep 4, 2015Updated 10 years ago
• scala-native / scala-native-loop

  View on GitHub
  Extensible event loop and async-oriented IO for Scala Native; powered by libuv
  ☆56Jun 18, 2024Updated last year
• galkahana / PDFWriterSamples

  View on GitHub
  Samples for using PDF Writer. using them in my blog
  ☆36Dec 17, 2011Updated 14 years ago
• Centaur / scalaconsole

  View on GitHub
  Scala REPL in a GUI
  ☆73Jun 19, 2019Updated 6 years ago
• nikolovivan / scala-design-patterns-v2

  View on GitHub
  This repository contains design patterns implemented in the Scala programming language for the Scala Design Patterns - Second Edition boo…
  ☆33Apr 29, 2018Updated 7 years ago
• chenxushao / My-Technical-stack-Summary

  View on GitHub
  技术分享、选型、培训、规范、积累
  ☆25Jun 4, 2018Updated 7 years ago
• MoganLab / mogan

  View on GitHub
  Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!
  ☆527Updated this week
• maxchehab / Unofficial-Google-Messages-Desktop-App

  View on GitHub
  The (Unofficial) Google Messages Desktop Application
  ☆31Jun 26, 2018Updated 7 years ago
• ds26gte / pregexp

  View on GitHub
  ☆30Jan 16, 2024Updated 2 years ago
• sagemathinc / cocalc_tutorial

  View on GitHub
  A tutorial for anyone wanting to use CoCalc, especially for teaching
  ☆31Mar 8, 2019Updated 6 years ago
• flyerwg / bit_move_dorm

  View on GitHub
  2020年北京理工大学强制将毕业生宿舍行李物品寄走事件
  ☆11Jul 7, 2020Updated 5 years ago
• NanoLabStaff / nanolab

  View on GitHub
  NTNU NanoLab process database
  ☆15Apr 1, 2025Updated 11 months ago
• scalacn / scala-meetup

  View on GitHub
  Scala 中国用户组交流会（Meetup）
  ☆128Dec 14, 2025Updated 2 months ago
• lihaoyi / Scalite

  View on GitHub
  An experimental whitespace-delimited syntax for the Scala programming language
  ☆151Oct 2, 2015Updated 10 years ago
• rlancaste / INDIWebManagerApp

  View on GitHub
  A Graphical program to Manage, Configure, Launch, and Monitor an INDI WebManager on OS X and Linux
  ☆11Oct 12, 2024Updated last year