Free diagnostic script reveals configuration issues, error patterns, and security risks. Instant HTML report.
Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
Download Free Tool
AI-generated apps that pass security review
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
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.
Atera all-in-one platform IT management software with AI agents
Ideal for internal IT departments or managed service providers (MSPs)
Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
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
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.
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.
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.
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.
The goal of this project is to provide some Java profiler based on AOP (Aspect Oriented Programming). The first implementation will be available on first/second quarter 2003 for the Eclipse/WSAD IDE, the implemenation of AOP will be AspectJ.