Search Results for "eclipse-jpf" - Page 9
Sort By:
Showing 240 open source projects for "eclipse-jpf"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Build Agents and Models on One PlatformGemini 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.
-
1
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.
-
2
OpenEMS™ is the multi platform Grid framework to seamlessly aggregate all your multi platform resources into a virtual super computer.
-
3
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.
-
4
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.
-
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.
-
5
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.
-
6
-
7
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.
-
8
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
-
9
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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
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.
-
11
IVI is a graphical, interactive user-interface to various Open-Source HDL simulators. IVI is transitioning to using the Eclipse application framework.
-
12
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.
-
13
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.
-
14
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.
-
15
...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.
-
16
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.
-
17
-
18
"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
-
19
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)
-
20
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.
-
21
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.
-
22
-
23
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.
-
24
A visualization software for BioPAX files. Uses compound graphs for showing complexes and compartments. Can also export to SIF and display SIF files.
-
25