Symbolic expressions, rewriting and simplification
CasADi is a symbolic framework for numeric optimization
Python library for defining and optimizing mathematical expressions
General purpose algebraic metaprogramming
A framework for applied category theory in the Julia language
Computer Algebra System written in Common Lisp
Computation and Visualization environment
C++ libraries for manipulations in non-Euclidean geometry
ECLiPSe Constraint Logic Programming System
Quaternion and octonion toolbox for Matlab
Symja - Java computer algebra language & symbolic math library
Serves XML element content over a UDS or TLS.
Cross-platform incremental backup
Scriptural Keys Restoration - decoded universally symbolic language
A simple Clifford algebra calculator
Crossplatform files synchronization and backup portable tool.
Fault tolerant, POSIX-compliant, network distributed filesystem
Simple in use library to display dumps and debug Arduino sketches.
Music research software
A console based File Tree Walker written in Java.