Search Results for "static analysis tools for python" - Page 2

x
Sort By:

Showing 32 open source projects for "static analysis tools for python"

View related business solutions
Java Clear Filters & Widen Search
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 1
    The Diversity Engine provides tools to create diversity-aware multimedia search applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    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
  • 3
    A collection of tools for working with the comparative data analysis ontology including import/export facilities for common phylogenetic file formats, and also a triple-store framework.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Tools for comparative sequence analysis. Includes FamilyRelations (GUI) and a C++ toolkit/Python wrapper for doing fixed-width-window analyses.
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 5
    FramerD is a distributed semi-structured object database originally developed at MIT. It provides an internationalized Scheme-based scripting language, built-in text analysis tools, and special support for web scripting.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    The Semantic Server is a Python-based set of tools that allow for better management, analysis, and integration with other systems. It uses the A.L.I.C.E. chatbot technology by Dr. Richard Wallace.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    JBoss diagnostics: JBoss-related diagnostic and debugging tools (static code analysis, profiling, log file collation / filtering / scanning, etc)
    Downloads: 0 This Week
    Last Update:
    See Project

Related Searches

Related Categories

MongoDB Logo MongoDB