Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
Try It Free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
The Toolbox GraphC generates a graph of classes for fuzzy time Petri nets, taking into account unbounded transitions. This project is a scientific research project conducted by LAAS-CNRS and IRIT-UT1, France.
A plug-in for the Eclipse and NetBeans IDEs for experimental use in the development and testing of Automation Objects (AOs) for industrial automation and control.
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
The DERI Ontology Management Environment (DOME) is developed by the Ontology Management Working Group (OMWG). The aim is to provide tooling support for Editing & Browsing, Versioning & Evolution as well as Mapping & Merging.
The LexGrid Editor is an Eclipse-based open source tool for authoring, viewing, and maintaining lexical resources that conform to a formal terminology model. Resources can be developed locally or viewed in context of a networked 'grid' of terminologies
OptSuite is a java interferometer software build on top of the Eclipse RCP mainly used for phaseshifting interferometry. OptSuite has support for firewire cameras, gpib-devices, linear stages and comes with an analysis package.
DotPlot is an Eclipse plug-in to graphically compare word sequences of any type of text. Matches will be plotted as dots on a graph. Similarities in thousands of lines of text or code will result in typical textures and diagonals in the plot.
The Information Visualization Cyberinfrastructure is a graphical tool with diverse modeling, analysis, and visualization algorithms for education and research. This tool is built on CiShell: Cyberinfrastructure Shell.
JEDI is an academic tool developed to extract formal models (timed automta) from Java source code and annotations, acting as a front-end for several academic analysis tools.
This project enables a transparent integration of C/C++ and Java (and other languages such as C#, php...) in Eclipse. The project includes JQuantlib. sKWash makes use of swig. See home page for more info.
...It allows you to find, display and inspect clones, which are fragments of duplicated source code resulting from lack of proper reuse. It can be used as a plugin for Eclipse and on the command line.
DataServer is an XML gateway for medical applications. Using Apache Cocoon and Java, it supports SQL, SOAP, HTTP for patient record aggregation, provides distributed caching, custom views, audit, security, and de-identification/anonymization.
Maui Scheduler is an advanced reservation HPC parallel batch scheduler for use with Linux and BSD clusters. Maui provides a complete scientific scheduling solution, supporting running custom parallel and MPI jobs over Myrinet and ethernet.
Coq4Eclipse is a plugin for the Eclipse Platform that provides an interface to the Coq Proof Assistant. It will support the user with syntax highlighting, search facilities, mathematical symbols, pretty-print, etc.
"CAGE", the Computer Audio Garden in Eclipse, is to be an Eclipse-based, Java and XML workbench, for the computer music composer. It will use the Rich Client Platform to provide a basic backbone framework, enabling existing computer music tools to be p
A plugin for the Eclipse IDE implementing NumericalChameleon: a powerful numerical convertor, supporting more than 2300 units in 78 categories (physics, radixes, exchange rates, unicode, etc). Fully integrated in the Eclipse IDE (refactoring, copy/paste)
mCon aims to be platform independent, complete IDE for micro controller development. The project will use Eclipse as its foundation and the initial goal is to support development for the microchip PIC microcontrollers.
Maple Tree is a Java based visualization tool used by researchers in the biological sciences to visualize and graphically browse the results of analyses of gene expression data collected from microarray experiments.