texmacs / notesLinks
Notes about TeXmacs
☆29Updated 5 months ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- A repository of user contributed content for TeXmacs☆55Updated 5 months ago
- Collection of builtin GNU TeXmacs plugins☆44Updated 4 months ago
- Mirror only, DO NOT SUBMIT PR☆32Updated 2 weeks ago
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Updated last year
- A markdown converter plugin for TeXmacs☆26Updated last year
- ☆30Updated 7 years ago
- Automate building of TeXmacs on windows using MSys2/Mingw-w32☆10Updated 3 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- a converter to markdown format for TeXmacs.☆11Updated 5 years ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated 4 months ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- A Jupyter client for TeXmacs☆9Updated 3 years ago
- Goldfish Scheme / 金鱼Scheme☆71Updated last week
- ☆38Updated last month
- Emacs mode for Lean☆69Updated 2 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Updated last year
- Have Zotero interact with TeXmacs☆27Updated 2 years ago
- TeXmacs文档翻译☆25Updated 6 years ago
- ☆8Updated 5 years ago
- Python package to convert LaTeX markup to DOM☆15Updated 4 months ago
- Simple computer algebra system☆64Updated 6 months ago
- Xmacs renamed to Mogan☆34Updated 3 years ago
- Tim Button's open textbook on set theory☆38Updated last year
- Xy-pic extension for MathJax version 3☆37Updated 3 years ago
- Mirror of ocaml-forester☆45Updated last year
- LSPServer is a package that implements the Language Server Protocol for Wolfram Language and allows a Wolfram Language kernel to run as a…☆51Updated 2 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated 3 weeks ago
- Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.☆12Updated 2 years ago
- A tiny tikzzz editor in the browser☆11Updated 2 months ago
- Libraries and tools for topological and geometric modeling.☆18Updated 3 months ago