Automate building of TeXmacs on windows using MSys2/Mingw-w32
☆10Jun 20, 2022Updated 4 years ago
Alternatives and similar repositories for texmacs-win-builder
Users that are interested in texmacs-win-builder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Wikipedia Recommendation System☆10Apr 9, 2023Updated 3 years ago
- Web editor that magically highlights your source code☆21Jun 16, 2020Updated 6 years ago
- JavaScript snippets for Sublime Text 2.☆28Jul 2, 2016Updated 10 years ago
- Mirror only, DO NOT SUBMIT PR☆32Jun 9, 2025Updated last year
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Dec 31, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- This is a collection of my Textadept tweaks☆37Oct 3, 2022Updated 4 years ago
- A markdown converter plugin for TeXmacs☆28Oct 24, 2023Updated 3 years ago
- ☆19Aug 22, 2024Updated 2 years ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Nov 9, 2019Updated 6 years ago
- WYSIWYG mathematics editor with structured, searchable, LaTeX-compatible, and parseable output. WIP☆15Sep 13, 2018Updated 8 years ago
- Chinese Wikipedia Outline☆13Apr 18, 2017Updated 9 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆17Nov 15, 2012Updated 13 years ago
- Have Zotero interact with TeXmacs☆23Jun 6, 2026Updated 4 months ago
- ☆15Aug 2, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Heritage of Sun Microsystems☆11Feb 11, 2021Updated 5 years ago
- An algorithm for parsing any planning problem in PDDL format☆15Sep 16, 2016Updated 10 years ago
- A lightweight directive for booklet-like component using codrops/BookBlock https://github.com/codrops/BookBlock☆14Apr 18, 2017Updated 9 years ago
- The tbox online documentation site☆11Sep 18, 2023Updated 3 years ago
- MathML versions of the famous Acid tests.☆20Oct 13, 2025Updated last year
- JavaScript implementation of classic NES game Battle City.☆23Aug 10, 2020Updated 6 years ago
- A repository of user contributed content for TeXmacs☆62Jul 16, 2026Updated 3 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- GTP go engine.☆19May 27, 2015Updated 11 years ago
- Replacement lfs and lua original api to support utf-8 filename☆54Feb 26, 2018Updated 8 years ago
- Notes about TeXmacs☆29Oct 24, 2026Updated last week
- Provides an interface to edit, record, and play Midi data☆17Dec 7, 2025Updated 10 months ago
- ☆13Jan 4, 2023Updated 3 years ago
- Performant kernels for symmetric tensors☆17Aug 22, 2024Updated 2 years ago
- Provides an interface to edit, record, and play Midi data☆18May 25, 2024Updated 2 years ago
- Collection of builtin GNU TeXmacs plugins☆46Aug 4, 2025Updated last year
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 11 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- automated planning toolbox☆15Jun 5, 2017Updated 9 years ago
- Michi-c2 --- development version for michi-c☆26Nov 17, 2021Updated 4 years ago
- A proxy server use fake packets to make firewall ignore the Server Name Indication☆34Aug 27, 2018Updated 8 years ago
- An awesome LaTeX template for NSFC proposal.☆11Dec 23, 2021Updated 4 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago