Showing 88 open source projects for "contract"

View related business solutions
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 1
    Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    The project will provide a very small set of utility classes usable for checking class invariants pre and postconditions
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    A testing framework, based on JUnit, that allows the easy creation of randomized tests, based on Design-by-Contract principles. The programmer defines simple actions on parameters (injected by the framework), and the resulting ecosystems are verified.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A framework for Delayed Asserts and Design By Contract in C++. The framework is based on delaying the execution of asserts until specified points in time (i.e. exiting a function), achieving seperation of assert definition from validation. Implements full seperation of assert definition from validation, allowing for a contract clauses block at the beginning of each function that includes "ensure" checks on exiting the function.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
    Claim $300 Free
  • 5
    A tool for increasing the quality of Java applications. It allows the programmer to use design by contract and defines other development aspects right in the classes where they are relevant, as JavaDoc comments. It's a combination of AspectJ and xDoclet.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    ContractChecker is a small tool to provide support for some design by contract features to standard Java code. Internally, it is composed of an Ant task, which invokes a doclet to generate AspectJ and the AjcTask itself in order to compile it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    The Design By Contract framework for C++ allows developers to design software that accomplish the specification requirements. Obscure bugs in software are shown quickly due to its precond, postcond, class/loop invariants and new/delete runtime analysis.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    ENterprise Application Frameworks: a pattern layer for interaction between application servers resp. service providers on the one hand side and the business component side on the other. will be a two level contract: 1. a java interface collection. let
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    A tool for increasing the quality of Java applications. It allows the programmer to use design by contract and define other development aspects right in the classes where they are relevant, as JavaDoc comments. It's a combination of AspectJ and xDoclet.
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 10
    The project aims to the development of tools to increase the usability of the iContract tool, which provides Design By Contract in Java
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Whisper is C++ application framework for the Mac and Windows. Unlike most frameworks it takes advantage of the standard library, design by contract, and modern C++ idioms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Open Source Developer's Agreement is a freely available set of clauses to insert into your employment contract to provide certainty on who exactly owns the IP of open source software you (or your employees) develop.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Sub::Contract offers a pragmatic way to implement parts of the programming by contract paradigm in Perl.
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo