Symbolic expressions, rewriting and simplification
Modeling framework for automatically parallelized scientific ML
build linux from termcap to GTK-4.7 100% non-stop
Symja - Java computer algebra language & symbolic math library
LFS that builds GNU/Linux %100 NON-STOP from GNU C 4.4 - Firefox-20.0