Foreval is parser & compiler of mathematical expressions
Programmable Calculator (IP functions, create user functions)
Linear constraint feasibility check and get program.
A command line toolki to solve a problem your favorite program defines
mathSuite Speed & Matrix Stream Processor
combinational logic functions minimization