Search Results for "eclipse-jpf"
Sort By:
155 projects for "eclipse-jpf" with 2 filters applied:
-
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.
-
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
Eclipse 4diac
Eclipse 4diac the open source solution for industrial automation
Eclipse 4diac is an open source PLC environment allowing to implement industrial control solutions in a vendor neutral way. 4diac implements IEC 61499 extending IEC 61131-3 with improved support for controller to controller communication and dynamic reconfiguration. With that 4diac provides the infrastructure for Industrie 4.0 and industrial IoT. -
2
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
3
Robocode
Robocode is a programming tank game for Java
Robocode is a programming game, where the goal is to develop a robot battle tank to battle against other tanks with Java. The robot battles are running in real-time and on-screen. The motto of Robocode is: Build the best, destroy the rest! -
4
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
5
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
6
Stellarium
A planetarium software that shows a 3D simulation of the night sky
Stellarium renders 3D photo-realistic skies in real time with OpenGL. It displays stars, constellations, planets, nebulae and others things like ground, landscape, atmosphere, etc. -
7
Simulation of Urban MObility
SUMO is a microscopic, multi-modal traffic simulation.
...It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation. The code and the issue tracker can be found at https://github.com/eclipse-sumo/sumo/ The documentation can be found at https://sumo.dlr.de/docs/ -
8
Stanford Data Miner
Tools for integration and analysis of heterogeneous immunological data
An extensive description of this system is published in the Journal of Translational Medicine (http://www.translational-medicine.com/). In brief, the system consists of two main web applications, a data integration app and a data exploration app. The data integration app is a fully custom Java "Web 2.0" product called Sherpa. Sherpa uses Seam, a platform integrating Asynchronous JavaScript and XML (AJAX), JavaServer Faces (JSF), the Java Persistence API (JPA), and Enterprise Java Beans... -
9
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
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.
-
10
Xplanet is a solar system simulator which calculates accurate positions for the major planets and satellites. It displays multiple bodies, eclipse shadows, and customizable labels and markers.
-
11
javahexeditor Java Hex Editor
A hex editor Eclipse plugin and multi-platform desktop application
You can install the latest Eclipse plugin version from the update site https://javahexeditor.sourceforge.io/update or the Eclipse Marketplace https://marketplace.eclipse.org/content/java-hex-editor. Older versions of the Eclipse plugin are available via the update site for the version, e.g. https://javahexeditor.sourceforge.io/update/0.5.1 You can download the latest stand-alone version and older versions on the "Files" tab. -
12
Talend Spatial Module (aka Spatial Data Integrator or SDI) is an ETL tool for geospatial. Based on Talend Open Studio, input, output and transform geocomponents are available. IO components read/write GIS formats(eg.PostGIS, GeoRSS). Transformers all
-
13
Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
-
14
JavaSeis.org: Java based software for processing and storing petroleum industry seismic data.
-
15
-
16
openCONFIGURATOR
An Open Source POWERLINK network configuration toolkit
...It ideally complements openPOWERLINK, the open source POWERLINK protocol stack for master and slave. The project consists of a core library implementing the configuration algorithms and an eclipse plugin base user interface. For XDD tooling and validation support within eclipse please visit: https://goo.gl/NBytgg Please use the update site to install the plugin in your eclipse environment: http://sourceforge.net/projects/eclipse-plugin.openconf.p/files/update-site/ KNOWN ISSUE WITH THE UPDATE SITE DUE TO SOURCEFORGE ENCRYPTION POLICIES: https://goo.gl/kVr2ZZ Install via Eclipse marketplace: http://goo.gl/vweJ9h User Manual: https://goo.gl/viGd5P For Linux distributions with Boost 1.54.0 please use: https://goo.gl/hMRTss For Linux distributions with Boost 1.61.0 please use: https://goo.gl/ZSvW7C -
17
dvkit
Eclipse-based IDE for design verification tasks
DVKit provides an Eclipse-based integrated development environment (IDE) for common design-verification tasks, such as developing SystemVerilog, C++, TCL, Python, and shell code -
18
...The focus is to handle data files from different GC/MS and GC/FID systems and vendors. Its functionality and algorithms can be extended using a flexible plugin approach, based on Eclipse RCP.
-
19
AcMus is a project on musical acoustics devoted to the development of models and computer tools for the study of room acoustics and focus on helping the investigation of issues related to the design, control and acoustic treatment of environments. AcMus has not been maintained for a few years now, but the code may still be useful. We consider the current repository to be at https://gitlab.com/ccsl-usp/acmus .
-
20
Eclipse Verilog editor is a plugin for the Eclipse IDE. It provides Verilog(IEEE-1364) and VHDL language specific code viewer, contents outline, code assist etc. It helps coding and debugging in hardware development based on Verilog or VHDL.
-
21
Semantic Assistants
Natural Language Processing (NLP) for the Masses
Semantic Assistants support users in content retrieval, analysis, and development, by offering context-sensitive NLP services directly integrated in standard desktop clients, like a word processor, and web information systems, like a wiki. -
22
MSqBAT
Label-free protein quantification for LC-MS
MSqBAT is a freely-available all-platform software application for label-free quantification of proteins from LS-MS data. It was developed in the lab of Dr. Christoph Rösli at the Heidelberg Institude for Stem Cells and Experimental Medicine (HI-STEM) and the German Cancer Research Center (DKFZ). It’s main features are 1) Label-free, MS1-based quantification 2) Support both LC-MALDI-MS- as well as LC-ESI-MS data 3) Supports both GeLC-MALDI-MS- and GeLC-ESI-MS data 4) Convenient,... -
23
Maui
Maui is the Maltcms User Interface
Maui is the Maltcms User Interface, a rich client application for Chromatography-Mass Spectrometry and related research areas. -
24
Elexis Praxisprogramm
An Eclipse RCP program for all aspects of a (Swiss) medical practice
An Eclipse RCP program for all aspects of a medical practice: electronic medical record (EMR), laboratory findings etc., as well as accounting, billing (swiss TARMED-System, other systems to be developped) and other daily work. A fully functional version may be downloaded via http://download.elexis.info/3.1.0. Users may optionally include a demo database to have a playground for experiments. -
25
Assists users to analyse and select players in Australian Football League (AFL) based football fantasy competitions. Displayed in a Java Swing GUI, users can sort and filter players based on many statistical categories.