axiom

Doesn't seem like anybody is actively working on it: https://github.com/daly/axiom/commits/master/ The only open source CAS that has survived for half a century seems to be maxima. The development seems to be active: https://sourceforge.net/p/maxima/code/ci/master/tree/ But, yeah, it's still on sourceforge.

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} code for part 1 \end{chunk} Ordinary latex code between chunks. \begin{chunk}{part2} code for part 2 \end{chunk} \begin{chunk}{part1} this code will be appended to the prior chunk \end{chunk} \begin{chunk}{getall} \getchunk{part1} \ge

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 bo

Fricas (a fork of Axiom, which is a rename of Scratchpad 2) is another very old CAS implemented with Lisp, also now open sourced. I think Fricas is more powerful than Maxima (maybe much more) regarding symbolic integration and its type system, but it sadly has very few developers maintaining it. Fricas links: https://en.wikipedia.org/wiki/FriCAS https://fricas.github.io https://fricas.github.io/book.pdf Axiom links: https://en.wikipedia.org/wiki/Axiom_(computer_algebra_system... https://github.com/daly/axiom

Organizations like Open Collective[1] can help to handle this. P.S. What do you think about moving the site to GitHub Pages instead[2] (and overall modernization of it). [1] https://opencollective.com/ [2] https://github.com/daly/axiom/issues/13

Axiom, Maxima (DOE), and Macsyma (Symbolics) are large systems. Axiom is a FOSS computer algebra system implemented in about 1.2 million lines of Common Lisp. Axiom relies heavily on the ability to dynamically define and re-define functions. It relies heavily on the macro facility. It presents a domain specific language (called SPAD) which implements mathematically friendly syntax and semantics. (https://github.com/daly/axiom)