Search Results for "sourceforge"
Sort By:
Showing 2 open source projects for "sourceforge"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Automate contact and company data extractionGenerate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
-
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
