Showing 65 open source projects for "contracts"

View related business solutions
  • 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
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • 1
    SQUEEZER

    SQUEEZER

    Squeezer framework, build serverless dApps

    ...The main usage of the ChainKit is to unify top blockchains interfaces into a single normalized API interface, therefore you can build blockchain dApps easily without digging into blockchain complex infrastructure. Bi-directional on-chain transactions (inbound and outbound). Build dApps connecting to smart contracts using chain kit agnostic connector. Quick intuitive code deployments by using a special mechanism that will deploy smart contracts and dApp services where code changed. Silent deployments, no interruption for the current functionality (really useful on production). One single command to simultaneously deploy all available functions on your project where code changed from the last deployment. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Oyente

    Oyente

    An Analysis Tool for Smart Contracts

    A container with the required dependencies configured can be found here. The image is however outdated. We are working on pushing the latest image to dockerhub for your convenience. If you experience any issues with this image, please try to build a new docker image by pulling this codebase before open an issue. A collection of the utilities that were developed for the paper are in misc_utils. Use them at your own risk - they have mostly been disposable. This is an improved version of the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    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
  • 4

    Java Dynamic Component Framework

    This is a lightweight java dynamic component framework

    This lightweight dynamic component framework, implemented in Java in a first time uses no code generation at all but uses only contracts. Contracts are expressed using simple software mechanism as interfaces and/or reflection (from middleware to application). A single small jar hosts the code dedicated to data, event and services management over the network, using contracts, reflection and generics. The main goal of the Java Dynamic Component Framework (jdcf) is to simplify the writing (and reuse) of individual Java components, parts of distributed networked application. ...
    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.
    Try It Free
  • 5
    ...Its syntax and features inspired from Objective-C and CLOS provide: uniform object model, generic functions, fast multimethods & delegation, introspection, exceptions & contracts...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The "Java Declarative Programming API" (JDPA) provides declarative programming support for Java using annotations, allowing developers to define parameter constraints, interface contracts, transformations, interceptors and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    JContractS, Java Contract Suite, allows you to easily add contracts to your Java classes. Contracts are specified in Javadoc comments and processed at build time. It is a resurrection of the iContract tool from Reliable Systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    This project aims at developing an Eclipse plugin for the Design by Contract library provided by the c4j project. It helps Eclipse developers to maintain their contracts together with their Java classes.
    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
    Theodolite is an Enterprise Service Bus that allows non-instrusive data marshalling for components without requiring any framework dependencies. It provides orchestration of high level strongly typed interface-based service contracts between components.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    This project is the reference/bootstrap compiler for the Aglaia programming language. The language is object oriented and supports garbage collection, contracts, etc. Care is taken to ensure consistent and clean syntax, and to reduce programmer errors,
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Firefly is a multi-user professional help desk system with several additional applications including company and contact management, knowledge database management, and contracts management. Firefly is also an application framework providing services such
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    PHP pUnit

    A small testing framework for PHP.

    A small testing framework for PHP based off some of .net's nUnit contracts. It uses a static assertion class rather than protects/public methods on an extended class.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Open eSign allows software developers and technical parties in a company to create secure, online (web-based) forms and documents that follow a business process flow and enable legally recognized electronic signatures using digital signature technology.
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo