Search Results for "java personal assistant"

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute...

CairngormFlex Assistant creates all class infrastructure need for using Cairngorm framework in Flex application. It decreases development time and manual source manipulation. Update will be soon.

LuaEclipse is an IDE for the Lua language based on the Eclipse platform. It features syntax highlighting, content assistant, code running, integrated documentation and more...

MyMoney is a system of control of personal finances where expenses and contributions of money can be recorded and reports can be generated. There is a mechanism for notification of accounts payable and import of extracts generated by the bank.