IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);
Message Transport Protocol (MTP) implementation using XMPP for the Java Agent DEvelopment framework (JADE). Produced under the Google Summer of Code program with the help of Quantum Leap Interactive and Jabber, Inc.