Search Results for "sourceforge software tag"

DataNucleus provides Java data persistence to a range of datastores using JDO/JPA/REST APIs. *** Note that code development is no longer on SourceForge (code on SourceForge is for versions up to 3.3.5 only) ***

WE DISCONTINUE UPDATE THE PROJECT ON SOURCEFORGE SITES. FOR THE NEW RELEASE, VISIT https://community.mycollab.com. MyCollab is a free, open source collaboration platform management. It provides the comprehensive set features of Project Management, CRM, and Document Management. MyCollab is used very well in both traditional project management or Agile methodologies. It is the web-based application runs on Java platform and MySQL database.

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...