Search Results for "contract"
Sort By:
Showing 87 open source projects for "contract"
View related business solutions-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop 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.
-
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
Data Contract CLI
Enforce Data Contracts
Data Contract CLI is an open-source command-line tool and Python library for creating, validating, testing, importing, exporting, and enforcing data contracts. It uses YAML-based contract files to define the structure, meaning, quality rules, service levels, and connection details for a data product. The tool can connect to real data sources and check whether the actual dataset matches the schema, constraints, and quality expectations described in the contract. ... -
2
Remix Project
Compiler and IDE that enables users to build Ethereum contracts
Remix Project is a rich toolset including Remix IDE, a comprehensive smart contract development tool. The Remix Project also includes Remix Plugin Engine and Remix Libraries which are low-level tools for wider use. Remix IDE is used for the entire journey of contract development by users of any knowledge level. It fosters a fast development cycle and has a rich set of plugins with intuitive GUIs. The IDE comes in 2 flavors and a VSCode extension. -
3
Echidna
Ethereum smart contract fuzzer
Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smarts contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations or test specific contracts in specific cases. Optional corpus collection, mutation and coverage guidance to find deeper bugs. Powered by Slither to extract useful information before the fuzzing campaign. ... -
4
Hardhat
Hardhat is a development environment to compile, deploy, test
Hardhat is an Ethereum development environment for professionals. It facilitates performing frequent tasks, such as running tests, automatically checking code for mistakes or interacting with a smart contract. Check out the plugin list to use it with your existing tools. Hardhat Runner is the main component you interact with when using Hardhat. It's a flexible and extensible task runner that helps you manage and automate the recurring tasks inherent to developing smart contracts and dApps. Easily deploy your contracts, run tests and debug Solidity code without dealing with live environments. ... -
Our Free Plans just got better! | Auth0You 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.
-
5
Solidity
The Smart Contract Programming Language
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation... -
6
Nethereum
Ethereum .Net cross platform integration library
...Simplified smart contract interaction for deployment, function calling, transaction and event filtering and decoding of topics. ABI to .Net type encoding and decoding, including attribute-based for complex object deserialization. Transaction, RLP, and message signing, verification, and recovery of accounts. The simplified account life cycle for both managed by third-party client (personal) or stand-alone (signed transactions). -
7
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. -
8
Slither
Static Analyzer for Solidity
Slither is a Solidity static analysis framework written in Python 3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses. Slither enables developers to find vulnerabilities, enhance their code comprehension, and quickly prototype custom analyses. Slither is the first open-source static analysis framework for Solidity. Slither is fast and precise; it can find real vulnerabilities in a few seconds without user intervention. ... -
9
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. -
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.
-
10
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. ... -
11
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. ... -
12
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. -
13
Amazon Braket Python Schemas
A library that contains schemas for Amazon Braket
Amazon Braket Python Schemas is an open source library that contains the schemas for Braket, including intermediate representations (IR) for Amazon Braket quantum tasks and offers serialization and deserialization of those IR payloads. Think of the IR as the contract between the Amazon Braket SDK and Amazon Braket API for quantum programs. Schemas for the S3 results of each quantum task. Schemas for the device capabilities of each device. The preferred way to get Amazon Braket Python Schemas is by installing the Amazon Braket Python SDK, which will pull in the schemas. You can install from source by cloning this repository and running a pip install command in the root directory of the repository. ... -
14
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. -
15
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. -
16
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... -
17
Brownie
A Python-based development and testing framework for smart contracts
Brownie is a Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine. Powerful debugging tools, including python-style tracebacks and custom error strings. The recommended way to install Brownie is via pipx. pipx installs Brownie into a virtual environment and makes it available directly from the command-line. Once installed, you will never have to activate a virtual environment prior to using Brownie. Brownie documentation is hosted at Read... -
18
Self Host Blocks
Modular server management based on NixOS modules
SHB's (Self Host Blocks) is yet another server management tool whose goal is to provide better building blocks for self-hosting. Indeed, SHB provides opinionated building blocks fitting together to self-host any service you'd want. Some common services are provided out of the box. SHB's goal is to make these building blocks plug-and-play. To achieve this, SHB pioneers contracts that allow you, the final user, to be more in control of which pieces go where. The promise here is to let you... -
19
GraphQL Scalars
A library of custom GraphQL Scalars for creating precise schemas
GraphQL is a wonderful new approach to application data and API layers that's gaining momentum. However, for all of GraphQL's greatness, it is missing a couple of things that we have (and you might) find very useful in defining your schemas. Namely GraphQL has a limited set of scalar types, and we have found there are some additional scalar types that are useful in being more precise in our schemas. Thankfully, those sharp GraphQL folks provided a simple way to add new custom scalar types if... -
20
Mythril
Security analysis tool for EVM bytecode. Supports smart contracts
...It uses symbolic execution, SMT solving and taint analysis to detect a variety of security vulnerabilities. It's also used (in combination with other tools and techniques) in the MythX security analysis platform. If you are a smart contract developer, we recommend using MythX tools which are optimized for usability and cover a wider range of security issues. The SWC Registry is a community catalog of known smart contract vulnerabilities with detailed descriptions, code samples, and remediations. MythX uses the SWC Registry as its database when scanning smart contracts for security issues. -
21
aictx
Repo-local continuity runtime for AI coding agents. Helps them continu
...AICTX keeps operational continuity inside the repo: - active Work State and next action; - execution summaries and handoffs; - explicit decisions; - known failures and resolved failure patterns; - strategy hints from successful prior work; - execution contracts and contract-compliance signals; - optional RepoMap structural entry points; - continuity quality signals for stale, missing, demoted, obsolete, or unverified context; - read-only Task Context Packs for focused task-specific context; - lifecycle diagnostics for incomplete or unfinalized sessions; - optional Git-portable continuity for small teams. ... -
22
UML and SysML with TRAK
Annotate/link UML and SysML diagrams with TRAK AF elements
Provides UML (SysML) profiles and a MDG for Sparx Systems EA to allow you to add TRAK elements to standard UML and SysML diagrams and link to TRAK architecture descriptions. Links TRAK Resource to UseCase as subject or collaborator and to States exhibited. -
23
...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
-
24
ZoKrates
A toolbox for zkSNARKs on Ethereum
...One particular family of ZKPs is described as zero-knowledge Succinct Non-interactive ARguments of Knowledge, a.k.a. zkSNARKs. zkSNARKs are the most widely used zero-knowledge protocols, with the anonymous cryptocurrency Zcash and the smart-contract platform Ethereum among the notable early adopters. Ethereum runs computations on all nodes of the network, resulting in high costs, limits in complexity, and low privacy. zkSNARKs have been enabling to only verify computations on-chain for a fraction of the cost of running them, but are hard to grasp and work with. -
25
TypeChain
TypeScript bindings for Ethereum smart contracts
TypeChain generates only TypeScript typings (d.ts) files, if you're looking for "opinionated", "batteries included" solution check out our new project: eth-sdk. It generates typesafe, ready to use ethers.js wrappers and uses etherscan/sourcify to automatically get ABIs based only on smart contract addresses. Under the hood, eth-sdk relies on TypeChain. Interacting with blockchain in Javascript is a pain. Developers need to remember not only a name of a given smart contract method or event but also it's full signature. This wastes time and might introduce bugs that will be triggered only in runtime. TypeChain solves these problems (as long as you use TypeScript). ...
