Software for physics and TeXmacs

1.Cadabra

Cadabra is a computer algebra system for the manipulation of what could loosely be called tensorial expressions. It is aimed at, though not necessarily restricted to, theoretical high-energy physicists. Because of its target audience, the program's interface, storage system and underlying philosophy differ substantially from other computer algebra systems. Cadabra is developed by Kasper Peeters and distributed under the GPL license.

2.Qcl

QCL is a high level, architecture independent programming language for quantum computers, with a syntax derived from classical procedural languages like C or Pascal. This allows for the complete implementation and simulation of quantum algorithms (including classical components) in one consistent formalism. QCL is developed by Bernhard Ömer. The TeXmacs interface is mainly useful for displaying quantum states in a readable way.