Search Results for "contract"
Sort By:
41 projects for "contract" with 2 filters applied:
-
Build Agents and Models on One PlatformGemini 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.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
1
OpenZeppelin Contracts
OpenZeppelin Contracts is a library for secure smart contracts
A library for secure smart contract development. Build on a solid foundation of community-vetted code. OpenZeppelin Contracts uses semantic versioning to communicate backward compatibility of its API and storage layout. To keep your system secure, you should always use the installed code as-is, and neither copy-paste it from online sources nor modify it yourself. -
2
sdk-js
JavaScript / TypeScript SDK for building Astrid OS capsules
...The SDK adds typed ergonomics over the lower-level host ABI, making capsule development easier for web and Node developers. Its main value is bringing Astrid capsule development into the JavaScript ecosystem without changing the runtime contract. -
3
ink-kit
Onchain-focused SDK with ready-to-use templates and themes
ink-kit is a developer toolkit for building applications on the INK blockchain ecosystem, bundling the pieces you typically need to go from a blank repo to a working dapp. It provides contract templates, deployment scripts, and client SDKs so you can iterate on on-chain logic and a frontend without stitching together disparate tools. The kit standardizes project layout and environment configuration, making local development, testing, and staging deploys predictable. Utilities for wallet connection, signing, and basic indexing help you focus on business logic rather than bootstrapping. ... -
4
Node.js Testing Best Practices
Beyond the basics of Node.js testing
This repository narrows the testing lens to Node.js backends, focusing on the challenges of servers, microservices, and cloud-native deployments. It covers API testing, contract testing, and persistence-layer strategies that avoid coupling tests to fragile implementation details. The material explains how to structure tests around process boundaries—HTTP, queues, cron jobs—while keeping fast feedback cycles through selective integration tests and reliable test doubles. It dives into topics like test containers, ephemeral databases, and idempotent fixtures to ensure deterministic runs in CI. ... -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
RealWorld
Exemplary fullstack Medium.com clone powered by React, Angular, Node
...The same spec is realized dozens of times (React, Vue, Svelte, Angular, Solid, Next, Remix, and many more), alongside multiple server implementations, so learners can compare idioms without guessing about feature gaps. A shared API contract and test suite keep implementations consistent and reveal framework-specific tradeoffs clearly. This makes the repo a powerful teaching tool for architecture, state management, testing, and deployment patterns at production scale. Teams also use it to evaluate new frameworks by building “yet another RealWorld” and measuring DX, bundle size, and maintainability. -
6
CCXT
JavaScript/TypeScript/Python/C#/PHP cryptocurrency trading API
The ccxt library is a collection of available crypto exchanges or exchange classes. Each class implements the public and private API for a particular crypto exchange. All exchanges are derived from the base Exchange class and share a set of common methods. To access a particular exchange from ccxt library you need to create an instance of corresponding exchange class. Supported exchanges are updated frequently and new exchanges are added regularly. -
7
Claude for Legal
A suite of plugins for legal workflows
...The project can run as a Claude plugin or through Claude’s Managed Agents API, giving teams flexibility in how they deploy the same prompts and skills. Its workflows include contract review, NDA triage, diligence review, DSAR response, employment policy drafting, trademark screening, regulatory monitoring, and litigation support. The repository emphasizes attorney oversight, source attribution, jurisdiction awareness, conservative legal assumptions, and approval gates before anything is filed, sent, or relied on. -
8
Solang
Solidity Compiler for Solana, Polkadot and Stellar
Solang is a modern Solidity compiler written in Rust that enables developers to compile smart contracts for multiple blockchain platforms beyond Ethereum, such as Solana, Polkadot, and Soroban. Unlike the traditional Solidity compiler, which targets the Ethereum Virtual Machine, Solang focuses on portability by translating Solidity code into native execution environments for different blockchains. It uses the LLVM compiler framework to generate optimized output, often producing WebAssembly... -
9
...All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
10
Cancelable Async Flows
Cancelable Async Flows (CAF)
...This approach avoids brittle timeouts and “fire-and-forget” leaks by making cancellation a first-class concern. CAF is framework-agnostic and pairs well with fetch, timers, or custom async primitives, giving you a consistent contract for stopping in-flight operations. The result is safer UI interactions and services that don’t keep doing work the user no longer needs. -
11
SPL Compiler
A low-level system programming language with high-level syntax
... * Be as efficient as C (at run-time) and as high-level as possible for the programmer. * Promote modularity and ease the development of large-scale component-based software. * Enable programming-by-contract and other high-level features (as long as they incur no extraordinary costs at run-time). * Provide a stricter and more platform-independent type system than C. * Allow direct use of existing C and platform (e.g. Win32 API) libraries. This phrase from the "SPL Language Reference" says it all: "One could say SPL is what C should have been, were it not for the limitations of the time when C was designed". -
12
EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
-
13
0xcert
JavaScript framework for building decentralized applications
The 0xcert Framework is a platform that provides a complete set of tools for building powerful decentralized applications (dapps). Our mission is to equip application developers with a secure, agnostic, and opinionated framework with conventions to enable interoperability between applications. If you are new to blockchain try the 0xcert API for quick deployments of dapps with minimal effort. -
14
An MDA(model driven architecture) tool to generate a complete web / mobile app from a UML model. Will generate high quality , best practices compliant code from UML model for all tiers of an enterprise application i.e. presentation, persistence, plumbing
-
15
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.
-
16
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
17
The Data Structure & Algorithm Library (DSAL) is a library of classical data structure and algorithm.
-
18
PHP Design by Contract
Base class for PHP 5.3+ which allows design by contract in PHP
PHP Design by Contract provides a basic implementation of contract programming in PHP 5.3+. The base Contract class allows new or existing classes to define properties as protected Attributes and methods as Routines, which require argument type/class validation, aswell as PreCondition and PostCondition checks. Instances can also check for state consistency with an invariant check. -
19
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
20
C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.
-
21
TUTU is an automated testing system which finds inconsistencies between a system and its specifications, by using a combination of a number of techniques, such as Design by Contract, test data generation, mutation testing and invariant detection.
-
22
Allows developers to create Java software on the pattern based approach. Programmer won't implement infrastructure for patterns but would use the ready ones. JPattern is a contract pushing developer to implement the logic in the terms of known patterns
-
23
-
24
CppCondite is a contract directed testing framework for C++. A formally specified "contract" (and a little human help) can be used to generate tests (similar to unit tests) verifying that a component implements the contract correctly.
-
25
The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation
