Search Results for "eclipse-jpf" - Page 2
Sort By:
Showing 1567 open source projects for "eclipse-jpf"
View related business solutions-
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
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... -
2
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. -
3
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... -
4
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. -
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
5
Grgit
The Groovy way to use Git
Grgit is a Groovy‑friendly wrapper around Eclipse JGit that simplifies Git operations within Groovy scripts or Gradle builds. It provides a cleaner, fluent API for common Git tasks (clone, commit, tag, branch), and ships as a Gradle plugin for easy project integration. -
6
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...). -
7
Datahike
A durable Datalog implementation adaptable for distribution
Datahike is a durable Datalog database powered by an efficient Datalog query engine. This project started as a port of DataScript to the hitchhiker-tree. All DataScript tests are passing, but we are still working on the internals. Having said this we consider Datahike usable for medium sized projects, since DataScript is very mature and deployed in many applications and the hitchhiker-tree implementation is heavily tested through generative testing. We are building on the two projects and... -
8
Codename One
Cross-platform framework for building truly native mobile apps
...Rapid cross-platform app development using Java or Kotlin with 100% code reuse. Apps are compiled down to native code for maximum performance and a smooth user experience. Write, debug, and test apps all inside your IDE (IntelliJ, Eclipse, VSCode or NetBeans) using the Codename One simulator. One-click for app-store-ready device builds, without the headache of maintaining native SDKs. Build beautiful UI with Codename One’s rich set of widgets, specifically designed for mobile apps. Native look and feel out of the box, but fully themeable using CSS to provide your own unique look. ... -
9
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... -
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
JaCoCo Java Code Coverage Library
Java Code Coverage Library
JaCoCo is a free code coverage library for Java, which has been created by the EclEmma team based on the lessons learned from using and integrating existing libraries for many years. -
11
LSJ_Eclipse
Eclipse Mars 32 bit, is customized by LSJ
Eclipse 32 bit version, include Java EE, Tomcat7, Window Builder, JDK 1.8, Hex Editor, CDT, MinGW, rxtx Serial, Theme for eyes, and Arduino Plug Ins and many libraries... and tools. You don't Need to search PlugIn. and Dont need to Waste your Time to Set up. like Starcraft 1.16 version is better than remater version. Thanks to download it. -
12
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. -
13
Dockside
Develop, stage and test on-prem or in your private cloud
...By provisioning a devtainer for every fork and branch, Dockside allows collaborative software and product development teams to take lean and iterative development and testing to a highly parallelized extreme. Use either the built-in VS Code-compatible Theia web-based IDE; any IDE like VS Code or JetBrains, Eclipse, Atom or Sublime that supports remote development over SSH; or any console text editor. Terminal and SSH with root access. -
14
thymeleaf
Thymeleaf is a modern server-side Java template engine for web
...HTML templates written in Thymeleaf still look and work like HTML, letting the actual templates that are run in your application keep working as useful design artifacts. Eclipse, IntelliJ IDEA, Spring, Play, even the up-and-coming Model-View-Controller API for Java EE 8. Write Thymeleaf in your favourite tools, using your favourite web-development framework. -
15
Play Framework
A high velocity web framework
Play Framework makes it easy to build web applications with Java & Scala. The Play Framework combines productivity and performance making it easy to build scalable web applications with Java and Scala. Play is developer friendly with a "just hit refresh" workflow and built-in testing support. With Play, applications scale predictably due to a stateless and non-blocking architecture. By being RESTful by default, including assets compilers, JSON & WebSocket support, Play is a perfect fit for... -
16
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.
-
17
USBDM
Debugging and programming interfaces for Freescale microcontroller
...Software to support these interfaces This includes: - Plugins to work with Freescale's Codewarrior software under Windows - Plugins to extend the usabilty of Eclipse with USBDM and Codesourcery & ARM toolchains. This includes GDB sprites providing a complete open source development toolchain. - A set of stand-alone programmer applications. These support programming of RS08, HCS08, HCS12, Coldfire and Kinetis devices. Where applicable, the software is available for Windows and Linux. -
18
DocFetcher
Desktop search application
DocFetcher is an Open Source desktop search application: It allows you to search the contents of files on your computer. — You can think of it as Google for your local files. The application runs on Windows, Linux and Mac OS X. -
19
McuOnEclipse
Releases of McuOnEclipse projects
Processor Expert components and Eclipse examples and plugins. -
20
-
21
Kibit
There's a function for that
kibit is a static analysis tool for Clojure/ClojureScript that detects code patterns that can be rewritten more idiomatically. Based on core.logic, it suggests replacements—like using when instead of if for single-branch logic. It integrates via the command line or Leiningen plugin, enhancing code quality and readability. -
22
SQL DAL Maker
A generator of DTO, Model, and DAO classes to access relational DB
...At the stage of code generation, the target database must exist and be available for JDBC connection. Generated code is being synchronized with the current database schema using "live" JDBC metadata. Written in Java. Implemented as plug-ins For Eclipse: https://marketplace.eclipse.org/content/sql-dal-maker For IntelliJ: https://plugins.jetbrains.com/plugin/7092 HOWTO install-update: http://sqldalmaker.sourceforge.net GitHub: https://github.com/panedrone/sqldalmaker Quick-Demo in mp4: https://github.com/panedrone/sqldalmaker/releases/tag/latest -
23
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 -
24
ecd
An Eclipse Plugin to integrate different Class Decompiler seamlessly i
-
25
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.