Search Results for "eclipse-jpf" - Page 17
Sort By:
Showing 2542 open source projects for "eclipse-jpf"
View related business solutions-
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.
-
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.
-
1
This software can be used like a testing tool for web applications. It can test all urls with widcards. And the application uses java multithreads to connect the web application you are testing. All modification is allowed, but you should keep the original author information. Any illegel using is not allowed, and the author is not responsible for any illegel using. The Author: Alex.Zhangrj, Beijing Normal University 2004(Grade 2000), Beijing, China.
-
2
jBPM
open-source, flexible Business Process Management (BPM) in Java
jBPM is a business process management system. The light-weight, embeddable engine can execute native BPMN2. jBPM offers eclipse-based and web-based tooling for developers and business users to create, monitor and manage your processes. -
3
Ogaboo
Open Game Bootstrap
...After a few months of research, I came up with the following list of projects: -Ogre3D -Bullet Physics -MYGUI -OgreVideoPlugin -OgreOggSound -OpenAL To stick with this idea, I recommend the use of some Tools, such as Eclipse, Code::Blocks and msys2/MinGW64 for the development environment. -
4
sparsedoppler
Continuous choice of string resonance at each point live music in CPU
Nonlinearly change frequencies and echos for live music by CPU. I found a way to normalize 1d wavefunction amplitude so this hack and its random heat vibrations are still unitary, even while microphone vibrating adds energy to part of 1d string of position and speed scalar arrays. The sparse part is, while the arrays are perfectly dense and linear, time is sparse when some springs vibrate with a larger multiplier of position subtracted from speed. In other words, this hack is a quanta level... -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
The Open Fortran Project (OFP) provides a Fortran 2008 compliant parser and associated tools. These tools provide a Java and C API for actions called when parser rules are completed. It also provides Fortran interfaces to the OpenCL runtime (new). IMPORTANT NOTICE: The Open Fortran Project has switched to using a parser based on SDF (Syntax Definition Formalism). Please consider using our new work at https://github.com/OpenFortranProject/ofp-sdf. While the SDF parser is not as advanced as...
-
6
YASW Library
Yet another SWT widget(s) library
YASW library is a set of SWT widgets that can be re-used when creating Eclipse-based plug-ins and applications. YASW is the acronym for Yet Another Swt Widget(s). -
7
HenrysSpaceInvaders
A recreation of the game space invaders created in Eclipse using Java
A recreation of Space Invaders but with added features. Instruction are included in the Read Me which comes in the download of the project, along with the source code. -
8
A C++ Package for Solving Multiple-Phase Optimal Control Problem Using Adaptive Radau Pseudospectral Methods
-
9
SBLIM (pronounced "sublime"), the Standards Based Linux Instrumentation for Manageability is an IBM-initiated Open Source project, intended to enhance the manageability of GNU/Linux systems. It does so by enabling WBEM, Web Based Enterprise Management.
-
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
oovcde
C++ analysis IDE with auto class, sequence, zone, dependency, diagrams
...The Oovcde project is a C++ IDE for Windows or Linux with an automated multi-tasking build system, cross compiler support, an analysis tool based on CLang that creates UML class, component, sequence as well as zone and portion diagrams from C++ source, static analysis and test coverage. The diagrams allow navigation through the source code, and can be edited manually and saved as .SVG files. It creates CMake files and can be built using Eclipse or CMake. Export to SQLite is supported. -
11
UML-VT
A Formal Verification Environment for UML Activity Diagrams
UML-VT is an open source Eclipse plug-in that verifies UML activities against given requirements using well-know model checker tools such UPPAAL, SPIN, and NuSMV, and an experimental model checker PES. UML-VT is meant to support the integration of model checking into a MDD process. The integration aims to facilitate the use formal verification in the early phases of the development, and to create an easy to use interface regardless of the users knowledge of formal methods. -
12
-
13
qooxdoo is a universal JavaScript framework for creating applications for a wide range of platforms. It has a comprehensive feature set, including an object-oriented programming model, an integrated tool chain and a state-of-the-art GUI toolkit. Note: Please note that as of 2011-10-26 the code repository for the project has been moved to https://github.com/qooxdoo/qooxdoo. The existing SVN repository will be set to read-only for the time being, and will not see any more updates.
-
14
The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.
-
15
Event-B Generic Instantiation
A Rodin Platform Plug-in for Generic Instantiation
Generic Instantiation tool is developed by HITACHI and ETHZ for Event-B as a Plug-in for RODIN platform. Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files. -
16
(DEPRECATED) TCL/TK GUI
A TCL/TK frontend for the openCONFIGURATOR configuration tool
...It ideally complements openPOWERLINK, the open source POWERLINK protocol stack for master and slave. THIS APPLICATION IS NO LONGER SUPPORTED. PLEASE INSTALL THE ECLIPSE PLUGIN BASED OPENCONFIGURATOR. -
17
Green, an Eclipse plugin, is an advanced yet simple UML class-diagram tool, developed primarily for student use. It does live round-tripping, so it's easy to move between diagram and code views. It's extensible: users can define their own relations
-
18
Jigy Generator Linux
The best way to generate a Spring Java Web Application. It just works!
The Jigy Generator is the simplest way to build and code a Java web application with a Spring Framework by using a project creation wizard and now it's been made even simpler by downloading a very small HTML file (337 bytes) and filling out a few form fields and let it construct your project with ease! The resulting project will be a Java web application with a Spring Framework configured to run in Eclipse or Netbeans. The project is annotation-based and provides dependency injection of project resources and simple annotation-based transaction management. Your created project will be already configured to connect to your project's database and to return JSON responses when required. Also the login and file upload modules will be fully functional immediately upon project creation. ... -
19
TheTJukeBox
Aplicacion java para twitter
Aplicacion Java que permite compartir contenido multimedia( musica, videos, noticias, etc) a traves de twitter. Permite compartir dicho contenido acompañado de un mensaje de 101 caracteres. Esta aplicación ha sido desarrollada con el entorno de desarrollo Eclipse utilizando un puglin externo llamado Windows Builder para el tema de la interfaz gráfica. A parte este proyecto usa dos API externas. La primera es twitter4j ,esta API permite a Java conectarse con el servidor de Twitter y poder gestionar la cuenta del usuario, en nuestro caso solo escribimos lo tweets que el usuario elija con el contenido seleccionado. ... -
20
Go Gmailer
Go Gmailer is a java based desktop app to send emails.
Go Gmailer is a java based desktop app to send emails.It is developed for people having slow internet connection.It is real simple and quick to send emails from this app. N.B.: It is recommended to create an app password for this app and choose remember me option to login after entering the app password so that you don't have to remember the app password for your G-mail account separately.This is JAVA based app so no doubt of security! If you have any issues with app then feel free to... -
21
dxlUnit
unit testing framework for DXL (DOORS eXtension Language)
This open source project provides a unit testing framework for the DOORS eXtension Language DXL. -
22
Agile grid is a complete new implementation of custom table for Java SWT applications, which uses the structure and some code fragments from the JFace table viewer. The features of this table implementation include: - A content provider provides the data
-
23
Java Bytecode ++
An EMF model of Java Bytecode
Java Bytecode ++ defines an Ecore meta-model for Java bytecode. It will be extended to also accommodate for additional information used during program analysis. It also comes with an Eclipse plugin that allows extracting a corresponding EMF model instance from the bytecode in a JDT Java project. -
24
Eclipse Tiny Plugins
Small plug-ins for fixing Eclipse bugs or adding some basic features.
Small plug-ins for bug-fixing or extending Eclipse or its plug-ins, with the aim to make using Eclipse more productive and fun. -
25
safecap
Safecap Platform for improving railway capacity via formal modelling
The overall aim of the SafeCap project is to develop modelling techniques and tools for improving railway capacity while ensuring that safety standards are maintained. Useful links: Project homepage: http://http://safecap.co.uk/