Search Results for "eclipse-jpf" - Page 21
Sort By:
Showing 2542 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.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
Checkclipse is a plugin which integrates the Checkstyle style checker for Coding Guidelines into Eclipse. All Java style violations will be immediately reported by error markers. Coding Guidelines can be configured for each project separately.
-
2
Implementation of DCOM wire protocol (MSRPC) to enable development of Pure Bi-Directional, Non-Native Java applications which can interoperate with any COM component.The implementation is itself purely in Java and does not use JNI to provide COM access.
-
3
Mechaglot, Calculate Semantic Similarity
Calculate semantic similarity for any human and human-like languages
WARNING: There are too many false-positives! This is Alpha release, expect many things to improve, including the algorithms. PLEASE GO TO BROWSE ALL FILES TO READ A FULL DESCRIPTION. The goal of this project is simple: Input two sentences of the same language, and obtain the number (from 0 to 1) denoting the similarity between the inputted sentences, according to semantic categories. This project models my previous... -
4
EMFTrace
Repository for dependencies between software design artefacts
EMFTrace extends the EMFStore repository by elicitating dependencies between related models of different modeling and programming languages. The explicit recording and modeling of different types of dependencies as traceability links shall support evolutionary changes by impact analysis, early evaluation of quality flaws, and better comprehension. It is an open source project to support the practical application of research results regarding development methods for evolution of software... -
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.
-
5
The aXBench (AUTOSAR extensible workbench) is an eclipse plugin for modeling variant system architectures. The aXBench describes system architectures using the architecture description language “aXLang”.
-
6
Tefkat is the transformation engine for the Eclipse Modeling Framework (EMF). It implements a state-of-the-art declarative model-to-model transformation language, including a source-level debugger and support for UML2, MOF2, and XML Schema-based models.
-
7
nrf51osx
Eclipse plug-in for making nordic nrf51822 projects
Template plugin for Eclipse which extends the GNU ARM Eclipse plugin with a template for Nordic nrf51822 projects. The plugin creates simple skeleton templates with the correct build settings for nrf51822 development. Please check the Wiki for installation instructions and usage. -
8
RathodMartin-rmlc
The Open Source Software Development Life Cycle
-
9
Lite student manager
Example of my code
Program allows creating, updating and deleting students, subjects of study and terms. Data synchronize with database(MySQL). And there is GUI created with help of JavaFX. Task, code and additional info are in the files. -
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.
-
10
BIRT Report Designer
Open Source Reporting & Data Visualization Platform
BIRT is an open source technology platform used to create data visualizations and reports that can be embedded into rich client and web applications. Developers who use BIRT Designer are able to access information from multiple data sources easily and quickly in order to create reports and applications with stunning data visualizations. Actuate now provides a free report server, BIRT iHub F-Type, to deploy BIRT content so developers don't have to build their own infrastructure. With a... -
11
Tips, tricks, best practice and add-ons to the Eclipse help system (see eclipse.org). Eclipse Help can be used as an integrated help system, as a stand-alone help application or/and as a web application.
-
12
ProofProcess
A framework to capture and analyse interactive proof process
...The framework is part of the AI4FM research project, which aims to learn from an expert doing interactive theorem proving to increase automation of formal proofs. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT + Z/EVES). Visit http://www.ai4fm.org for details on the research project. -
13
SimiTriX-SimiTetra
Similarity, Comparative genomic, Visualization, Eclipse RCP, SimiTri
This application system is based on Eclipse RCP, and it uses the JFreeChart and JOGL library to implement the chart drawing and OpenGL. There are some scripts to generate similarity data for main application and to analysis result. It is an useful tool to visualize relative similarity relationship between different datasets. -
14
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
15
The Open RVC-CAL Compiler (Orcc) is a compiler under BSD license for the RVC-CAL dataflow programming language. Please consult the project homepage at http://orcc.sourceforge.net for more information.
-
16
The open-source project for development, analysing and installation of (Asset-Control) Asset Data Model(s), through Eclipse.
-
17
An Eclipse plugin for running/debugging Java web applications with Jetty (successor of JettyLauncher) Features: - Support for Jetty 6, 7, 8 and 9 - Included Jetty8 - M2Eclipse Support - JSP Support - JNDI Support
-
18
EzCMake Eclipse CDT CMake Plug-IN
CMake Managed Build Support for the Eclipse CDT
This project adds CMake support to the Eclipse C Development Tool Kit (CDT). CMake is cross-platform free and open-source software for managing the build process of software using a compiler-independent method. It is designed to support directory hierarchies and applications that depend on multiple libraries. It is used in conjunction with native build environments such as make, Apple's Xcode, and Microsoft Visual Studio. -
19
videoinfoss
video analysis
This project is aimed to analyze video in detail, which contains DCT coefficients, Motion vector and so on. Actually, it was developed based on newest FFMPEG source code. -
20
Syndie
Distributed forums
Syndie is an open source system for operating distributed forums, offering a secure and consistent interface to various anonymous and non-anonymous content networks. -
21
-
22
PROS
Custom firmware and IDE for the VEX Cortex Microcontroller
Eclipse and FreeRTOS have their own licensing agreements. Please see http://www.eclipse.org/legal/epl-v10.html and http://www.freertos.org/a00114.html for details. -
23
JCLEC is a general purpose evolutionary computation framework developed in Java. Some of its mains features are: multilevel architecture, highly reusable and integrable with other systems, easy to use and a lot of implemented algorithms and operation
-
24
X and O
Tic-Tac-Toe (X and O)
Simple game called "Tic-Tac-Toe", realized on Java. It's just a game, that allows to play game only Human vs Human, and also it has it's own interface. -
25
SASyLF
SASyLF is an proof assistant for reasoning about programs.
SASyLF (pronounced "Sassy Elf") is an LF-based proof assistant specialized to checking theorems about programming languages and logics. SASyLF has a simple design philosophy: language and logic syntax, semantics, and meta-theory should be written as closely as possible to the way it is done on paper. SASyLF can express proofs typical of an introductory graduate type theory course. SASyLF proofs are generally very explicit, but its built-in support for variable binding provides substitution...