Search Results for "checker"

x
Sort By:

Showing 4 open source projects for "checker"

View related business solutions
Object Oriented Java Clear Filters & Widen Search
  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • 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
  • 1

    plugfy

    Java byte code compatibility analyser

    Plugfy checks whether all dependencies of an extension are met. It pays special attention to method signatures and can detect incompatible byte code changes even if they are compatible at the source code level.
    Downloads: 0 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 Java code checker that allows annotating variables with state that can be tracked and changed. Built on the JSR 308 annotation processor
    Downloads: 0 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