Xmacs renamed to Mogan
☆34Jan 9, 2022Updated 4 years ago
Alternatives and similar repositories for Xmacs
Users that are interested in Xmacs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mirror of the GNU TeXmacs SVN☆650Updated this week
- Notes about TeXmacs☆30Jul 22, 2025Updated 9 months ago
- Mirror only, DO NOT SUBMIT PR☆32Jun 9, 2025Updated 10 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!☆556Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Jan 4, 2023Updated 3 years ago
- A lean latex cv template. Create your one page personal CV in almost one minute...☆13Jan 26, 2023Updated 3 years ago
- Ren data exchange format☆12Mar 23, 2017Updated 9 years ago
- toon4s: Token-Oriented Object Notation for JVM☆28Feb 22, 2026Updated 2 months ago
- ☆14Apr 21, 2026Updated last week
- Small x-platform actor framework☆14Feb 17, 2026Updated 2 months ago
- A sample kernel module showing the memory reordering.☆12May 30, 2020Updated 5 years ago
- A collection of frida scripts to facilitate reverse engineering of android apps.☆12Feb 20, 2024Updated 2 years ago
- A specialised computer algebra system for topos theory.☆18Jun 23, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Command-line interface to astrophysics data system☆11Oct 5, 2019Updated 6 years ago
- A web-based collaborative LaTeX editor☆22Nov 9, 2023Updated 2 years ago
- The fastest way to create complex web applications in Scala!☆17Apr 7, 2026Updated 3 weeks ago
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 4 years ago
- 安卓应用层抓包通杀脚本，仅限安卓平台，测试安卓7、8、9、10、11、12 可用 ； 无视所有证书校验或绑定，不用考虑任何证书的事情； 通杀TCP/IP四层模型中的应用层中的全部协议；☆13Jun 10, 2023Updated 2 years ago
- a converter to markdown format for TeXmacs.☆10Apr 8, 2020Updated 6 years ago
- 利用frida打印IOS中OC函数中各类型参数，初步总结☆15Apr 18, 2023Updated 3 years ago
- An ENSIME SideKick plugin for jEdit☆16Jan 9, 2012Updated 14 years ago
- TeX Live with MSVC☆15Aug 13, 2025Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 分享自使用Aegisub制作字幕以来所有的字幕文件☆10Feb 5, 2025Updated last year
- APKTool Helper☆13Apr 9, 2018Updated 8 years ago
- Mirror of the TeXmacs SVN repository (https://savannah.gnu.org/projects/texmacs) and some related experimental code☆15Oct 14, 2025Updated 6 months ago
- 优雅的异步事件驱动网络框架; An elegant event-driven asynchronous network framework.☆11Dec 28, 2023Updated 2 years ago
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Dec 31, 2023Updated 2 years ago
- 《The HoTT Book》 中文翻译☆10Jan 5, 2025Updated last year
- An approach to higher algebra in type theory☆23May 12, 2020Updated 5 years ago
- Examples for using Xepor framework☆11Jul 4, 2023Updated 2 years ago
- ArmPro服务器端环境文件，在服务器文件www内创建basic文件夹后上传在此文件夹内即可。☆10Jan 8, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Spacemacs私人配置☆21Nov 10, 2017Updated 8 years ago
- 使用 Github Actions 构建集成 KernelSU 的内核 - dipper LineageOS☆10Oct 31, 2024Updated last year
- GravSphere is a Jeans analysis code☆11Jan 14, 2026Updated 3 months ago
- All in one print toolkit for e-commerce ，integrated cainiao,pinduouo,jingdong,kuaishou,douyin ...☆10Mar 6, 2023Updated 3 years ago
- This repository contains notebooks with different probability density function estimators.☆14Jun 4, 2020Updated 5 years ago
- Functions to compute conditional distributions of Gaussian mixture models.☆13May 10, 2025Updated 11 months ago
- 抖音直播弹幕采集☆10Jul 29, 2024Updated last year