Search Results for "sourceforge"
Sort By:
Showing 2 open source projects for "sourceforge"
View related business solutions-
Simplify your short-term rental business with our Channel ManagerManage your vacation rental like a pro with features that streamline, sync and simplify - all from one intuitive software.
-
Effortlessly manage macOS, iOS, iPadOS and tvOS devices across multiple clients and locations.Addigy solutions accelerate Apple adoption in any environment.
-
1
RSyntaxTextArea
A syntax highlighting, code folding text component written in Swing
RSyntaxTextArea is a syntax highlighting, code folding text component written in Swing. NOTE: For quite awhile now, RSTA's source has been hosted on GitHub, but releases were mirrored here on SourceForge. As of late 2015, all release artifacts are also hosted solely on GitHub. This SourceForge site is simply here to forward folks to our GitHub home: http://github.com/bobbylight/RSyntaxTextArea Artifacts are also available in Maven, e.g. com.fifesoft:rsyntaxtextarea:2.x.x -
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
