Showing 3 open source projects for "2.30"

View related business solutions
  • $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
  • 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
  • 1
    Monitoring Storage,  SAN,  LAN

    Monitoring Storage, SAN, LAN

    Storage, SAN, LAN Performance Monitoring: IBM,NetApp,Hitachi,HPE,EMC

    The tool offers you end-to-end views of your storage environment including LAN and SAN and can save you significant money in operation monitoring and by predicting utilization bottlenecks in your virtualized environment. You can also generate policy-based alerts, view overall health status of your systems, reduce service downtime, use capacity and forecasting data - Real-time storage performance visibility in LAN and SAN multi-vendor environment - Historical reporting (graph,...
    Leader badge
    Downloads: 19 This Week
    Last Update:
    See Project
  • 2

    XJML

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

    ...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
    ArchOne
    ArchOne is an archlinux-based live usb designed for Acer Aspire One netbook (it also compatible with other netbook). For more info, visit http://archone.sourceforge.net
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB