jdisasm.py is a Java class file disassembler. It displays a Java .class file in a human readable form, showing the class name, the field names and types, and the method names, types, and codes (including instruction mnemonics). For each item shown, the file offset is prepended.
Symbolism is a library that allows you to use symbolic programming techniques directly in C++. It allows you to program in a way similar in spirit to LISP or Prolog using only C++ operators: "()" for term construction and "==" for pattern matching.
Symja is a pure Java library for symbolic mathematics. It supports arbitrary precision integers, rationals and complex numbers, polynomials, differentiation, integration, pattern matching, linear algebra, solvers, and more.