Showing 242 open source projects for "mac os linux"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini 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.
    Try It Free
  • 1
    AdLint Goodies

    AdLint Goodies

    Utilities for AdLint the source code static analyzer

    AdLint Goodies is a collection of miscellaneous utilities for AdLint. All goodies are written in Ruby and available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    VaMoLà - Validator
    VaMoLa Validator is a tool to validate accessibility according to Italian Law - based on AChecker
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    R Unit test framework R functions implementing a standard Unit Testing framework, with additional code inspection and report generation tools
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    RemoveComments

    Remove Comments from source code.

    With this tiny program, you can remove comments easily from source code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 5
    ccglue is a complementary tool to cscope and ctags. The tool builds a cross-reference symbol database from cscope [and ctags] databases that can be used to display dependency-graphs (aka call-trees, code flow). Visualization can be done with the Vim CCTree plugin (http://www.vim.org/scripts/script.php?script_id=2368), or the built-in stand-alone command-line tracer.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    jSET - Java Software Evolution Tracker is a software visualization tool that allows practitioners to assess the magnitude of changes across the versions of a software system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    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
  • 9
    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
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving 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.
    Download Now
  • 10
    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
  • 11
    antillesXML is an extensive and in its form unique compilation of XML tools. Now the new version 2.0 is available as a free download. Various functions on all aspects of XML documents are available.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    CesTa (Code Enhancing Security Transformation and Analysis) is a tool for enhancing security by program transformations. Focused on Smart Cards (Java Card in particular), powered by Ant, ANTLR and StringTemplates.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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
  • 15
    AOSCAT
    Another Open Source Code Analysis Tool
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    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
  • 17
    PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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
  • 19
    Code Coverage Tool For Oracle PL/SQL
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    JCCD
    The Java Code Clone Detection API (JCCD) allows to implement individual code clone detectors. These code clone detectors can be easily integrated into other Java applications. JCCD is based on a pipeline architecture which allows to replace whole par
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    Wsdl Auditor

    Moved to github

    Moved to Git Hub, https://github.com/SaikiranDaripelli/WsdlAuditor
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Hexjector is an Opensource,Cross Platform PHP script to automate Site Pentest for SQL Injection Vulnerabilties.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 23

    Program Statistics

    View current download statistics for software on various sites

    progstat: Used to view current download statistics for posted programs on various sites.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    "No comment!" is a command-line tool that generates various comment-related metrics for source code files (e. g. comment density, blank lines per file)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    An interactive binary search tree. The user may interact with the tree by performing rotations, balancing, insertions, and deletions. For educational purposes
    Downloads: 0 This Week
    Last Update:
    See Project