Search Results for "eclipse-jpf"
Sort By:
135 projects for "eclipse-jpf" with 2 filters applied:
-
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.
-
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
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 -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
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
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/ -
7
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. -
8
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
-
9
JavaSeis.org: Java based software for processing and storing petroleum industry seismic data.
-
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
-
11
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 -
12
...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.
-
13
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 -
14
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 .
-
15
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.
-
16
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. -
17
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,... -
18
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. -
19
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. -
20
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.
-
21
XML-Print
XML-Print: typesetting arbitrary XML documents in high quality
"XML-Print" is a joint project of the FH Worms (Prof. Marc W. Küster) and the University of Trier (Prof. Claudine Moulin) with support from TU Darmstadt (Prof. Andrea Rapp). Its goal is the creation of a XML formatter designated especially for the needs of the “Digital Humanties”. The project is funded by the DFG. Please visit https://sites.google.com/a/budabe.eu/xmlprint_de/kontakt and let us know, what you think about XML-Print – Does it meet your expectations? – What is missing? –... -
22
An open source workbench for chemo- and bioinformatics built on the Eclipse Rich Client Platform (RCP).
-
23
The Maltcms - Modular Application Toolkit for Chromatography Mass-Spectrometry is a JAVA API for preprocessing, alignment, analysis and visualization of data stored in open file formats used in Proteomics and Metabolomics research.
-
24
-
25
Repast
The Repast Suite is a family of free agent-based modeling libraries.
The Repast Suite is a family of advanced, free, and open source agent-based modeling and simulation platforms that have been under continuous development for over 20 years. Current source code and releases are hosted on Github https://repast.github.io/