Showing 2473 open source projects for "eclipse-jpf"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch 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.
    Start Free Trial
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 1

    CAP4EI

    Code Analysis Plugin for Eclipse Indigo

    Be accommodated in this project a version of CAP (Code Analysis Plugin for Eclipse) valid for Eclipse Indigo. The version of CAP in sourceforge.net/projects/cap4e/ not work correctly in Eclipse Indigo so I made ​​the appropriate adjustments. I tried to connect to the original author of CAP4E but without results. Please, if anyone could do it for me I am willing to give the original author of the updated package for me to post it on the original site. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    Tre7

    tre7

    Classic italian cards game, tresette.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    C4JExplorer

    C4J-Explorer plug-in for Eclipse

    The C4J-Explorer plug-in for Eclipse facilitates the use of Design by Contract in the development process by automating the creation and synchronization of types and their contracts. It works in combination with the DbC framework C4J (Contracts for Java).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Cobos Project

    Cobos Project

    the disruptive IDE for COBOL developers

    The Cobos Project is an Open Source initiative from Metrixware, dedicated to Mainframe COBOL CICS, DB2, IMS developments within the Eclipse Platform.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini 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.
    Get Started Free
  • 5
    OmegaT+ Computer Assisted Translation (CAT) tools platform that includes OmegaT+ (translation processor), bitext2tmx (aligner/TMX editor), and Validator (TMX validation).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    This project attemps to integrate the Eclipse CDT C/C++ IDE and the Splint static checker.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Eclipse plug-in to get the news from sites such as Slashdot or Euronews via their RSS channel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    OWL Vocabulary Generator

    A tool to generate OWL files from Medical vocabularies.

    This tool takes native sources of SNOMED text files, LOINC text database and multi-hierachical file and RxNORM RRF files and generate OWL files meant for classification of agents of each vocabulary.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    MLDonkey G2gui is a next-generation crossplatform Graphical User Interface to the MLDonkey core. Its goal is to be userfriendly and powerful, using state of the art Java-techniques like SWT and other parts of the eclipse framework.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 10
    eLML - eLesson Markup Language
    eLML (eLesson Markup Language) is an XML framework for creating structured eLessons based on a pedagogical model. eLML consists of an XMLSchema and XSLT files to create XHTML, PDF, LaTeX, IMS CP and SCORM versions, standards supported by most LMS.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 11
    MARS

    MARS

    Multi Agent Roundbased Simulator

    MARS (Multi Agent Roundbased Simulator) is a simulator for Multi Agent systems written in java. It sets up on the eclipse platform and is realized as a set of plugins. It was started as a project-group at University of Paderborn in 2010. At the moment there is a second project-group using MARS. The german documentation of first group can be found at http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Kleine-Buening/files/ws11/pg-agents-2/Abschlussdoku-pg-1.pdf If you want to start MARS, check out all eclipse projects and run "gui.product" as Eclipse Application from the "de.upb.agents.gui" project. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    XJML

    XJML 1.0 is a platform for Verification and Validation of Java classes

    XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Librazur is an open source project published under the terms of the GPL. It aims to create a complete platform for creating enterprise softwares in Java, deployed with the ease of Java WebStart and built upon the fundations of Eclipse RCP.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    A pure Java API for Telelogic Synergy/Change, which allow basic operations on records. The core API classes are integrated in an Eclipse plugin for convenient use through the IDE.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Equals Checker
    A static checker that model checks the implementation of equality for an Eclipse Java Project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    cpp2xml

    cpp2xml

    A tool to convert C++ definitions into XML

    cpp2xml is a tool to convert C/C++ definitions into XML. The main goal is to use the XML as input to code generation tools, but any other usage may be imagined.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Antrunner4e is an eclipse-plugin that inserts a contextmenue item to start a antfile with the current file or directoryname as input.This provides an easy way to execute actions like compiling the current file, transfer by ftp, execute sql and so on.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Mikrodroid

    Mikrodroid

    Android MikroTik Management App

    ...The initial goal is have to complete read-only access to all the menus and values on a typical MikroTik router. In order to use the application you have to download the source code and get it working. I use Eclipse. If you have any problems with the application please log a ticket.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    EGA

    A novel and effictive GA algorithm to solve optimization problem

    Classical genetic algorithm suffers heavy pressure of fitness evaluation for time-consuming optimization problems. To address this problem, we present an efficient genetic algorithm by the combination with clustering methods. The high efficiency of the proposed method results from the fitness estimation and the schema discovery of partial individuals in current population and. Specifically, the clustering method used in this paper is affinity propagation. The numerical experiments...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    JVMLense

    JVMLense

    The open source profiler for the jvm.

    Get an inside view of your application. Find bottlenecks by looking at the development of the duration of your main business methods over time even in production. Find the cause of those bottlenecks by applying the profiling capabilities of JVMLense.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    D3-Explorer

    D3-Explorer plug-in for Eclipse

    The D3-Explorer plug-in for Eclipse facilitates the use of Design by Contract in the development process by automating the creation and synchronization of types and their contracts. It works in combination with the DbC framework C4J (Contracts for Java).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    lemonite
    Lemonite is an Open Source tool designed to automate J2EE unit test development and management. It's entirely implemented in Java and makes it very easy to write and run unit tests for common J2EE business concepts (EJB, Servlets, etc...) and for Web Services too. Lemonite works as standalone Java application.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Java Server Faces (JSF) CRUD generator plugin for Eclipse.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A graphical user interface to the Apache Commons VFS API written in Java/SWT: Multi-platform, capable of managing files among multiple file systems such as: ftp, sftp, smb, webdav, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice
    Downloads: 7 This Week
    Last Update:
    See Project