Showing 43 open source projects for "mingw gnu for linux"

View related business solutions
  • 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
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
    Claim $300 Free
  • 1

    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
  • 2
    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
  • 3
    Justus is a tool set for Progress 4GL (ABL) Developers. It includes a simplified parser for 4GL, an API to load Profiler data and a Test Coverage Tool.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Its an Eclipse 3.5 Plugin. It can be used to find linear paths for unit testing of any method. The linear path covers all the child methods and till leaf level of the hierarchy. The packages which should be covered in the path can be controlled.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Try Free
  • 5
    PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Runtime concurrency analysis for Java. Instruments your Java app at run time, and monitors field access, synchronization and locking, to verify concurrent access is safe.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Code Coverage Tool For Oracle PL/SQL
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    LDIFF is an enhanced language-independent line differencing tool built upon the Unix diff and overcomes its limitations in determining whether an artifact line has been changed or is the result of additions and removals
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Rapidlogix
    Rapidlogix is an open source application performance management tool optimized for distributed production environments. It allows to increase time-to-market of performance improvements and prevent performance regression
    Downloads: 0 This Week
    Last Update:
    See Project
  • Your monitoring isn't a stack. It's a pile. Fix that. Icon
    Your monitoring isn't a stack. It's a pile. Fix that.

    Errors, performance, logs, uptime. One install, one invoice, one UI.

    Replace Datadog, New Relic, and Sentry without adding three more dashboards.
    Free 30 days.
  • 10
    Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Java Cobol Lexer take a cobol source program and return it as a list of lexical tokens. Library takes source code in fixed, free and mixed formats. It recognizes standard Cobol 85.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Counts the Lines of Code for any type of source file (Java, C/C++), given the single line comment and muli line comment (configurable)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Java libraries with the functionality of indenting source code utilizing regular expresions. Currently C/C++, Java, HTML, and XML are supported.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    SSJE
    This is a Super Simple Java Editor written entirely in Java. It allows you to compile and run java programs in an mdi interface with syntax highlighting and easy commenting. Currently in suspended development. Available as a jar and an msi.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    JavaCount is a simple (Code, Comments, Cyclomatic and Statements) counter for Java methods that ouput the metrics in various formats (csv, xml, etc) -- Acknowledgement: EU Funded FP6 Qualoss Project (see http://www.qualoss.eu).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    PatternDetect is an Eclipse plugin that extracts the design patterns used in an Eclipse Java project. PatternDetect can be extended with new design patterns.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    jUML is a UML diagram application capable of reverse engineering Java source code to create relationship diagrams, source code generation based on a user created UML diagram, and saving/restoring of jUML projects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Recognizes typical patterns in Java code which could be replaced with functions provided by open source libraries http://www.jnorm.org
    Downloads: 0 This Week
    Last Update:
    See Project