axiom
MathJax
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
axiom
-
Sile: A Modern Rewrite of TeX
The literate macro is just standard latex. The command line extraction functions are:
Lisp program to extract latex chunks: https://github.com/daly/axiom/blob/master/books/tangle.lisp
C program to extract latex chunks: https://github.com/daly/axiom/blob/master/books/tanglec.c
Note that the C program is just a hand translation of the Lisp code.
The lisp code has an explanation and the necessary latex macros. The idea is to scan the latex, find each named code 'chunk', and add each one to a hash table. Then the hash table is scanned to dump the requested chunk to stdout. For example:
\begin{chunk}{part1}
-
tex.web – Version 3.141592653
I think one "unfortunate" side effect of literate programming with a "stupid" procedual language like C, Pascal or even Java - is that your lp system tends toward becoming your macro system.
It does allow straightforward, short procedual/structured programs to become very readable and easily understandable - but for bigger "piles of code" - it's probably not that good a fit in practice.
I guess https://github.com/daly/axiom is both an argument for this being true (I seem to recall there was an effort to get away from lp) - and against (proof of existence: it's a big system, it's old, it seems to not be dead).
Then there's the other thing - I don't recall who's quote it is - but it is along the lines of: "There are few good programmers, there are few good writers of prose/technical documentation - therefore the subset of people that are both great programmers and great writers are tiny - and that is the subset for whom literate programming is a great fit".
I do think there's a middle ground though, and "notebooks" for "executable, repeatable" research papers is one such middle ground (or: to write a great cs paper your team need to have both skills anyway).
But there are certainly great programmers that can't write documentation on how to escape a wet paper bag.
-
"FriCAS algebra library, the largest and most advanced free general purpose computer algebra system" (as of September 2007)
From the code point of view, Axiom seems more interesting to me, but I need to study it more.
MathJax
-
AsciidocFX: The Asciidoc Editor for documentation and authoring
MathJax - Mathematical Notations expressed using Tex or MathML
- Ask HN: Tips to get started on my own server
- I don't always use LaTeX, but when I do, I compile to HTML (2013)
-
Linear Transformers Are Faster After All
Developer tools point to MathJax https://www.mathjax.org/. If you disable javascript you can see some LaTex.
- MathJax – Beautiful and accessible math in all browsers
-
Superscript and subscript
It is something we could add, but it is not planned in the near future. We also have requests for adding math notation (like https://www.mathjax.org/), and that could be a more general solution.
- Is it possible to learn maths and physics with Obsidian?
-
Overline doesen't work properly
I don't know what Obsidian is, but if it's requiring old TeX math mode toggles (the double dollar sign), then it might not actually be using LaTeX underneath. Many tools that provide LaTeX-style syntax for equations are actually using something like MathJaX, BlahTex, or some custom system by which to translate LaTeX-like syntax into their own equation rendering. This often means you only get a pre-defined subset of what's possible with LaTeX (and the results are never quite faithful to how LaTeX would typeset them).
-
What software do you use to correctly format math questions online?
This will depend heavily on where you're asking the question, e.g. stackexchange has built in mathjax to render it. I'm going to assume you're intending to ask here (because that would make sense), in which case check out the bottom of the sidebar.
-
Need help installing Latex on Linux
From the screenshot, Obsidian looks like a typical Markdown editor that supports some LaTeX math syntax, probably rendered with something like Mathjax. On the other hand, Xournalapp seems to actually use LaTeX, even allowing you to use LaTeX packages like graphicx, tikz, etc.
What are some alternatives?
fricas - Official repository of the FriCAS computer algebra system
KaTeX - Fast math typesetting for the web.
SATySFi - A statically-typed, functional typesetting system
WeasyPrint - The awesome document factory
KeenTeX - Java API for displaying mathematical formulas using TeX notation
mathquill - Easily type math in your webapp
sile - The SILE Typesetter — Simon’s Improved Layout Engine
tikzjax - TikZJax is TikZ running under WebAssembly in the browser
literate-lisp - Load Common Lisp code blocks from Org files
pandoc - Universal markup converter
literate-elisp - Load Emacs Lisp code blocks from Org files
asciidoctor-web-pdf - Convert AsciiDoc documents to PDF using web technologies