Search Results for "eclipse-jpf" - Page 37
Sort By:
Showing 2473 open source projects for "eclipse-jpf"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
Eclipse Rich Client Platform application with a new graphical interface to display aggregated turn data from VGAP 4 CVS export data. It will NOT replace the VGAP4 Client application and it is just a complementary user interface.
-
2
ProDT is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, and to support any standard Prolog implementation. Currently is being supported SWI Prolog, B-Prolog and XSB Prolog
-
3
It is a supplement of version control system to support software development. It helps programmers to track personal working time spending on source files, and to easily find experienced people who may help you to comprehend certain code fragment.
-
4
A simple game engine under development, for both a private project and the Echidna Project (free open source MMO).
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
PointcutDoctor is an extension to AJDT to provide Support for Understanding and Diagnosing AspectJ Pointcuts
-
6
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
-
7
The Edinburgh Pathway Editor (EPE) is a tool and framework that allows the drawing and manipulation of Biological Networks, such as signalling or matabolic pathways. The editor supports several notations including SBGN and Cytoscape notations.
-
8
JCrypTool moved to GitHub! See https://groups.google.com/d/topic/jcryptool-developers/nauEXL6vsbk/discussion for more information and visit our new project home at https://github.com/jcryptool
-
9
Real time micro benchmark multi-lingual suite (RTMB) provides a good way to measure the deterministic quality of hardware, an operating system, or a Java Virtual Machine. RTMB consists of benchmarks in C, C++ and Java
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
-
11
SeaMonster is a security modeling tool for threat models. It supports notations that security experts and analyzers are already familiar with, namely attack trees and misuse cases, and can connect to a repository for model sharing and reuse.
-
12
Samples manager is an Eclipse plug-in which allows you to package and deploy code samples. The tool allows users to start with a fresh install, step between different iterations of these samples, compare them, and reset when their changes don't work.
-
13
Mindtree Insight
Log file parser and viewer
Insight, the analysis TechTool for developers is a platform independent tool for viewing & analying run time meta data of applications. It aids in trouble shooting problems, and aids the developer in every day work through very advanced log analysis. -
14
Eclipse JDT Plugin to clean fully qualified types within Java source code by creating import statements. There also exists a Xpand 1.0 integration. See project site for installation files.
-
15
The goal of the FitClipse project is to develop advanced tool support for Executable Acceptance Test Driven Development (EATDD) for web applications. Detailed information can be found at: http://ebe.cpsc.ucalgary.ca/ebe/Wiki.jsp?page=FitClipse
-
16
"yes to nosql" is an eclipse tool for easy usage of several nosql databases in an osgi container based on the Eclipse Modeling Framework (XText, Xpand, ...)
-
17
GeoAssistant is a project denoted to spatial analysis & spatial informations. The goal is to provide usalbe & easy GIS functions. It is based on GeoTools.
-
18
This Eclipse Plugin invoke Simulation, Synthesis and Place&Route tools from various Vendors for HDL (VHDL/Verilog) development.
-
19
Network Coding Simulator. Basic scanarios include batterfly network, wireless network and LDPC-style networks.
-
20
A collection of Eclipse plug-ins that extend the CDT (C/C++ Development Tooling) component of Eclipse. These plugins are generally experimental and/or for specialized purposes.
-
21
SwingDebugger is a developer toolkit and viewer to inspect and manipulate java swing applications at runtime. Users can write own "plugins" easily. The project also contains an eclipse integration which reuses current runtime configurations.
-
22
The Intelligent Services Layer (ISL) is an advanced agent and service integration framework that supports distributed management; collaborative computing; intelligent software; and intelligent heterogeneous data access.
-
23
Cyberinfrastructure Shell (CIShell) is an open source, community-driven framework/application for the integration and utilization of datasets, algorithms, tools, and computing resources. Algorithms can be integrated using most programming languages.
-
24
-
25