Search Results for "checker"

x
Sort By:

Showing 4 open source projects for "checker"

View related business solutions
Code Generators Java Clear Filters & Widen Search
  • 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
  • Endpoint Management with Remote Control Built In Icon
    Endpoint Management with Remote Control Built In

    Patch, monitor, and connect to Windows and macOS devices from one console

    Splashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.
    Start Free Trial
  • 1
    Equals Checker
    A static checker that model checks the implementation of equality for an Eclipse Java Project.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The UCL MDA Tools are lightweight Model Driven Architecture tools developed at University College London. They include a JMI generator implemented using the velocity template engine, an OCL type checker, and a parser for textual MOF models.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A refactoring tool for the Java programming language, it includes the JavaStyle pretty printer, a UML java class diagram viewer, a coding standards checker and computes program metrics. Plugins for jEdit, Netbeans, JBuilder and other IDEs available.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 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.
    Start Free
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

veeam logo