• Add Two Lines of Code. Get Full APM. Icon
    Add Two Lines of Code. Get Full APM.

    AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.

    Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
    Start Free
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 1
    Isabelle/Eclipse

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Eclipse plugin based on JTidy, the Java port of HTML Tidy. For (X)HTML and XML files, it provides a Validator (Manual or automatic checking) and a Formatter based on numerous preferences.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    hIDE is an Integrated Development Environment (IDE) for C++, C & Java based application programming. It is currently being developed on the Linux platform with plans for an eventual port to Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB