Search Results for "eclipse-jpf"
Sort By:
1025 projects for "eclipse-jpf" with 2 filters applied:
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
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
-
2
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. -
3
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. -
4
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. -
Paessler - Monitor Your Whole Network in MinutesWaiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
-
5
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. -
6
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... -
7
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... -
8
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. -
9
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... -
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
10
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... -
11
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... -
12
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... -
13
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... -
14
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. -
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
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. -
18
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... -
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
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.
-
22
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. -
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
ASAF - Another Swing App Framework
an OSGi-based Swing Application Framework
-
25
JVx - Enterprise Application Framework
Java Application Framework
...Nightly builds are available: https://dev.sibvisions.com/jvx.nightly/ Maven snapshots are available: https://oss.sonatype.org/content/repositories/snapshots Eclipse plugin is available: http://marketplace.eclipse.org/search/site/eplug
