Showing 3 open source projects for "contracts"

View related business solutions
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Try Free
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 1
    jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Java Assertions to Code (JAC) is the tool which is used to generate the code from contracts of the method in Java. COFOJA is used to write contracts and JDT is used to create abstract syntax tree for parsing and manipulation of Java file.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Main purpose of this project is to create an Eclipse editor for specifying OCL contracts. The OCL language is used to specify pre-, post-conditions and invariants. The project also contains a parser to check the syntactical and semantical correctness.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
Auth0 Logo