Search Results for "eclipse-jpf"
Sort By:
Showing 198 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.
-
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 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 -
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.
-
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
NGSEP
NGSEP (Next Generation Sequencing Experience Platform)
NGSEP is an integrated framework for analysis of short and long DNA high throughput sequencing reads. The current version provides functionalities for both de-novo and reference guided analysis of sequencing data, including genome assembly, read mapping, variants detection and genotyping and de-novo analysis of data generated from reduced representation protocols. NGSEP also provides modules for analysis of genomic variation databases (VCF files), including functional annotation, filtering,... -
9
OpenGXT - Geopatial Analysis Tools
Spatial Statistics Libraries & Tools for GeoTools, GeoServer, uDig
The goal of this project is to provide a spatial statistics tools for Geotools, Geoserver WPS, uDig Statistics Toolbox. #. Online Documentation - http://opengxt.mangosystem.com/ #. GeoTools -Download gt-process-spatialstatistics-xx.x.jar file #. GeoServer - Download GeoServer-Extension-OpenGxT-x.xx.x.zip - Unzip and copy two files to the WEB-INF/lib directory of the GeoServer installation. - Restart GeoServer #. uDig 2.0.x Plugin Installation - Name: Spatial... -
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
DEVS-Suite Simulator
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL)... -
11
Analyze and visualize tours in many variations, which are recorded with a GPS device, bike-, exercise- or ergometer-computer. Some highlights: Tools are available to adjust recorded data, GPS tours can be visualized in customizable maps, ...
-
12
Java Calculator
Supports PEDMAS order of computation and Reverse Polish Notation Gener
Generates the Reverse Polish Notation (Postfix) expression form of an arithmetic expression in (Infix) form. Performs the computation of the arithmetic expression if Integers or Floating point numbers are used in the expression. Supports PEDMAS order of computation, thus, all the operators of Exponentiation, Division, Multiplication, Addition and Subtraction, as well as using Parentheses for grouping and prioritization is all handled. -
13
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 -
14
TXM
Unicode XML TEI text analysis platform
TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP... -
15
SDC
SDC facilitates development of dist. systems of medical devices.
OpenSDC is a set of libraries that form a communication framework to facilitate the development of distributed systems of medical devices in high-acuity environments. It is based on the upcoming SDC standard, which is specified by the IEEE in IEEE Std 11073-20702-2016 (Point-of-care medical device communication Part 20702: Medical Devices Communication Profile for Web Services), IEEE Std 11073-10207-2017 (Point-of-care medical device communication Part 10207: Domain Information and Service... -
16
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.
-
17
CS-Studio is a user interface framework for control systems (EPICS, TANGO, TINE, ...) based on Eclipse RCP. Among the features are synoptic/archive/trend/alarm displays.
-
18
StatisticsTables
This is a Java APP for Probability and Statistics Tables
...You can also download the Java code used to create this APP. There are 2 zips. One is for a working windows APP, and the other with complete code and file structure. I used Eclipse to develop the APP. Click the link you want to download to get the Statistics Tables Windows.exe or OS X zipped files. After saving Windows file, just click the jdistabs_win.exe file to install. If you use OS X for MAC, download to the Download directory in the Finder. Then copy to the Desktop folder. Click on the jdistabs_osx.zip to unzip. ... -
19
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. -
20
Arduino HomeKit ESP8266
Native Apple HomeKit accessory implementation for the ESP8266 Arduino
...This project is mainly based on an esp-home kit for ESP-OPEN-RTOS. I ported the RTOS-based implementation of the esp-home kit to the pure Arduino environment, aimed at easy and fast building projects using Arduino IDE (or Eclipse with sloeber, PlatformIO). Enjoy the "one-key" build, "one-key" upload, and work to link various other Arduino libraries with Apple HomeKit! This library is built with ESP8266 Arduino Core 2.6.3. Lower versions may compile with errors. For ESP32, see Arduino-HomeKit-ESP32. The HomeKit running on ESP32 has a GREAT PERFORMANCE which is 10x faster than ESP8266. ... -
21
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
-
22
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.
-
23
JavaSeis.org: Java based software for processing and storing petroleum industry seismic data.
-
24
-
25
Sciatrope
An application for eclipse chasers, by an eclipse chaser.
...The map also displays the eclipse path, with the central line and the north and south limits of the central eclipse. The eclipse path is refined when you zoom in. For the experts or adventurous, eclipse elements can be modified, to take into account new updated elements, or experiment with the Besselian elements.