Search Results for "eclipse-jpf"
Sort By:
898 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.
-
Your monitoring isn't a stack. It's a pile. Fix that.Replace Datadog, New Relic, and Sentry without adding three more dashboards.
-
1
JTS Topology Suite
Java library for creating and manipulating vector geometry.
The JTS Topology Suite is a Java library for creating and manipulating vector geometry. It also provides a comprehensive set of geometry test cases, and the TestBuilder GUI application for working with and visualizing geometry and JTS functions. -
2
PyDev is a Python Development Environment (Python IDE plugin for Eclipse). It features an editor with code completion, code analysis, refactoring, outline view, debugger, mark occurrences and other goodies - check http://pydev.org for more details). It's kept going by community contributions, so, if you think it's a worthy project, please contribute through http://pydev.org
-
3
Grails
Grails - the Web Application Framework
...Supports expressive DSLs for validation, querying, and view rendering. High‑productivity web framework adopting “coding by convention” paradigm. Rich IDE support across IntelliJ IDEA, Eclipse, Sublime, and NetBeans. Asynchronous and reactive programming support via Promises and RxJava. -
4
Maelstrom
A workbench for writing toy implementations of distributed systems
Maelstrom is a distributed-systems workbench by the Jepsen team. It provides standardized JSON-based protocols and test harnesses (via Jepsen) to validate the behavior of custom toy systems—like commutative sets or transactional key-value stores—under simulated failure conditions. You implement your server in any language, connect through stdin/stdout, and the framework injects network disruptions, partitions, and consistency checks. -
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.
-
5
core.match
An optimized pattern matching library for Clojure
core.match is a high-performance pattern-matching library for Clojure and ClojureScript. It provides an optimized macro-based DSL for structurally matching data—such as sequences, maps, regexes—offering a clearer alternative to nested conditionals or destructuring. A symbol pattern can represent one of three behaviours. Match the value of an existing local binding. Create a "named" wildcard pattern that creates a binding of the given name to the right of the pattern row. -
6
Reitit
A fast data-driven routing library for Clojure/Script
Reitit is a fast, data-driven routing library for Clojure and ClojureScript, designed for seamless integration with Ring and other ecosystems. It offers declarative route definition, efficient path resolution, and flexible route metadata, enabling both server-side and client-side routing with high performance and extensibility. A Ring routing app with input & output coercion using data-specs. Simple web application using Ring/Reitit and Integrant. A simple Clojure backend using Reitit to... -
7
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
8
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. -
9
openHAB Distribution
The binary distribution of openHAB
The open Home Automation Bus (openHAB) project aims to provide a universal integration platform for all things around home automation. It is a pure Java solution, fully based on OSGi. It is designed to be vendor-neutral as well as hardware/protocol-agnostic. openHAB brings together different bus systems, hardware devices, and interface protocols by dedicated bindings. These bindings send and receive commands and status updates on the openHAB event bus. This concept allows designing user... -
$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.
-
10
SikuliX
Now continued as OculiX — see oculix.org
SikuliX is now continued as OculiX at https://oculix.org. The active development,,releases, documentation and community have moved there. SikuliX (and now OculiX) automates anything you see on the screen of your desktop computer. Running Windows, Mac or some Linux/Unix. It uses image recognition powered by OpenCV to identify GUI components and can act on them with mouse and keyboard actions. This is handy in cases when there is no easy access to a GUI's internals or the source... -
11
core.logic
A logic programming library for Clojure & ClojureScript
core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if... -
12
Compojure
A concise routing library for Ring/Clojure
Compojure is a compact and expressive routing library for Ring (Clojure's web server abstraction), enabling the composition of web applications using simple, declarative routing macros inspired by frameworks like Sinatra or web.py. This small Compojure application demonstrates creating a Ring handler from two routes. The simplest way to get started with Compojure is to use Leiningen, the standard Clojure build tool. If you haven't already, download and install Leiningen. You'll need... -
13
core.async
Facilities for async programming and communication in Clojure
core.async is a Clojure library that brings asynchronous programming and communication to both Clojure and ClojureScript, enabling developers to write concurrent code using channels, go blocks, and CSP-style constructs rather than callbacks or threads. This project follows the version scheme MAJOR.MINOR.COMMITS where MAJOR and MINOR provide some relative indication of the size of the change, but do not follow semantic versioning. In general, all changes endeavor to be non-breaking (by moving... -
14
ESP-IDF
Espressif IoT Development Framework
ESP-IDF (Espressif IoT Development Framework) is the official, open-source development framework for programming Espressif SoCs (such as ESP32, ESP32‑S2, ESP32‑C3 series). It provides toolchains, APIs, components, sample code, and workflows for building embedded IoT firmware, offering support for Wi‑Fi, Bluetooth, power management, and peripheral integration. As well as the esp-idf-template project mentioned in Getting Started, ESP-IDF comes with some example projects in the examples... -
15
Eclipse Tomcat Plugin
Simple handling of a tomcat server in Eclipse IDE
The Eclipse Tomcat Plugin provides simple integration of a tomcat servlet container for the development of java web applications. You can join us for discussion in our IRC channel #tomcatplugin on Freenode. Please be patient if noone is answering instantly. You can also create a new ticket if you need help. This project is a fork of the original Sysdeo Tomcat Plugin. -
16
testng
TestNG testing framework
TestNG is a testing framework inspired from JUnit and NUnit but introduces some new functionalities that make it more powerful and easier to use. Run your tests in arbitrarily big thread pools with various policies available (all methods in their own thread, one thread per test class, etc...). -
17
Alibaba Dragonwell8
Alibaba Dragonwell8 JDK
Over the years, more than a billion lines of Java code have been written in Alibaba. While adopting OpenJDK to run these applications, we have found a need to customize it specifically for large-scale Java application deployments. Our customization has been well-tested in our environment. We are now contributing some of our work into the Java community. Alibaba Dragonwell, as a downstream version of OpenJDK, is the in-house OpenJDK implementation at Alibaba. It is optimized for online... -
18
OWASP Find Security Bugs
The SpotBugs plugin for security audits of Java web applications
...It can detect 141 different vulnerability types with over 823 unique API signatures. Cover popular frameworks including Spring-MVC, Struts, Tapestry and many more. Plugins are available for Eclipse, IntelliJ / Android Studio and NetBeans. Command line integration is available with Ant and Maven. Can be used with systems such as Jenkins and SonarQube. Extensive references are given for each bug patterns with references to OWASP Top 10 and CWE. -
19
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.
-
20
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 -
21
ecl1
Provides a toolset for developing HISinOne extensions
ecl1 is a set of tools, implemented as Eclipse plugin, that supports the creation of HISinOne extensions. It adds support for creating a new HISinOne Extension and special checkers for the enrollment of lectures. -
22
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.
-
23
Tachyon Tunnel
Java Audio Plugin System
Several projects here: - An audio plugin system, 100% Java based - A demo command-line audio time stretching tool based on the plugin system - A fork of tritonus, with: o Support for floating-point encoding (WAVE, AIFF, AU) o Support for WAVE files of more than 4 GB using RF64 o Many other small improvements (mostly on the three PCM formats (WAVE, AIFF, AU)) - A JavaSound SPI for opus audio files (reading and writing) -
24
Rifidi is a middleware and development platform for RFID. With Rifidi you can prototype an RFID application down to the core RFID Hardware and using Rifidi Edge you can easily develop business rules to turn RFID events into real business applications.
-
25
ASAF - Another Swing App Framework
an OSGi-based Swing Application Framework