Search Results for "plug-in framework"
Sort By:
Showing 3 open source projects for "plug-in framework"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
Isabelle/Eclipse
Eclipse integration for Isabelle proof 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. -
2
Java Source editing framework. Starting from common model for source editing, it will end up as an implementation of advanced source editor under various legacy platforms. Will be implemented as platform plug-in/add-on.
-
3
an integration framework for UML and MOF case tools based on Jini and SOAP. It exchanges models from ArgoUML, Poseidon, Rose, etc. as XMI (UML stored in XML), checks them and generates code. New services simply plug in and can be shared world-wide.
- Previous
- You're on page 1
- Next
