Search Results for "plug-in framework"
Sort By:
Showing 3 open source projects for "plug-in framework"
View related business solutions-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
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
CATCore
This is distributed plugin framework for Scala
What is a plug-in architecture? Simply speaking, it is a framework that will allow a program to "look for" add-in functionality at startup, and then allow that plug-in to cooperate with itself. CATCore (Component Architecture Toolkit, Corelib) is this and more. With CATCore you can load plugins that run in there own thread(Actor) and communicate with each other via messages. -
3
metaDSL provides a framework which eases creation of BNF grammars, parser generators and code generators. Executes as a Maven plugin or from the command line via a lightweight launcher powered by Maven runtime. See also: http://www.metadsl.com/
- Previous
- You're on page 1
- Next
