Search Results for "sourceforge"
Sort By:
Showing 2 open source projects for "sourceforge"
View related business solutions-
Find Hidden Risks in Windows Task SchedulerWindows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
1
DataNucleus
Java persistence using JDO, JPA or REST
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) *** -
2
Isabelle/Eclipse
Eclipse integration for Isabelle proof assistant
...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 Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse
- Previous
- You're on page 1
- Next
