Search Results for "eclipse-jpf"
Sort By:
1522 projects for "eclipse-jpf" with 1 filter applied:
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
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.
-
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. -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
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... -
6
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. -
7
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... -
8
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... -
9
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... -
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
10
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. -
11
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. -
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
Sudoku for Eclipse
A free and open source sudoku game for addicts to newbies
...S4E generates endless new grids and may help you to solve them. Play with figures, letters or images, on smaller or bigger grids, play on easy or tricky level... S4E run on Windows and Linux. For Eclipse maniacs it’s available as a plugin for Eclipse. It’s pure Java and of course it’s free. Keywords: free sudoku solver game windows Linux download -
19
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. -
20
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.
-
21
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! -
22
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 -
23
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. -
24
GanttProject
Free project scheduling and management tool
GanttProject is a project scheduling application written in Java and featuring Gantt chart, resource management, calendaring, import/export (MS Project, HTML, PDF, spreadsheets). Learn more on http://ganttproject.biz -
25
Pentaho
Pentaho offers comprehensive data integration and analytics platform.
Pentaho couples data integration with business analytics in a modern platform to easily access, visualize and explore data that impacts business results. Use it as a full suite or as individual components that are accessible on-premise, in the cloud, or on-the-go (mobile). Pentaho enables IT and developers to access and integrate data from any source and deliver it to your applications all from within an intuitive and easy to use graphical tool. The Pentaho Enterprise Edition Free Trial...