Open Source Scala Integrated Development Environments (IDE)
Sort By:
Scala Integrated Development Environments (IDE)
View 160 business solutionsBrowse free open source Scala Integrated Development Environments (IDE) and projects below. Use the toggles on the left to filter open source Scala Integrated Development Environments (IDE) by OS, license, language, programming language, and project status.
-
Simplify Purchasing For Your BusinessSimplify every aspect of buying for your business in Order.co. From sourcing products to scaling purchasing across locations to automating your AP and approvals workstreams, Order.co is the platform of choice for growing businesses.
-
Outbound sales softwareAdversus is an outbound dialing solution that helps you streamline your call strategies, automate manual processes, and provide valuable insights to improve your outbound workflows and efficiency.
-
1
Conky GUI eases the customization of Conky configuration files.
-
2
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. 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
