A portable, multi-platform, command-line driven graphing utility
Agena is an interpreted procedural programming language.
Unicode-XML-TEI text/corpus analysis platform
Foreval is parser & compiler of mathematical expressions
A collection of machine-checkend mathematical proofs
Data Plotting and Analysis for Science and Engineering
A system for computer algebra and symbolic mathematics
Tinger Calc is a powerful scientific calculator environment.
Bond-graph based modelling tools
Fast C library for relation algebra using binary decision diagrams.