Search Results for "contract++"
Sort By:
Showing 89 open source projects for "contract++"
View related business solutions-
Collect! is a highly configurable debt collection softwareThe flexible & scalable debt collection software built to automate your workflow. From startup to enterprise, we have the solution for you.
-
Rezku Point of SaleRezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
-
1
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. ... -
2
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. ... -
3
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. -
4
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... -
Skillfully - The future of skills based hiringSkillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
-
5
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. -
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
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. -
8
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. ... -
9
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. ... -
Field Sales+ for MS Dynamics 365 and SalesforceBring Dynamics 365 and Salesforce wherever you go with Resco’s solution. With powerful offline features and reliable data syncing, your team can access CRM data on mobile devices anytime, anywhere. This saves time, cuts errors, and speeds up customer visits.
-
10
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. -
11
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. ... -
12
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. ... -
13
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. -
14
Node (Base Node)
Everything required to run your own Base node
node is the Ethereum Layer 2 full node implementation developed for the Base network, a secure and scalable L2 chain built on the OP Stack. Designed to support Base’s rollup protocol, the node syncs L2 data, validates transactions, and interacts with Ethereum mainnet. It enables developers and validators to run their own Base-compatible infrastructure while contributing to decentralization and performance. -
15
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... -
16
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... -
17
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... -
18
Pushpin
Proxy server for adding push to your API
...Pushpin supports HTTP streaming, HTTP long-polling, and WebSockets. For compatibility with older browsers, it can also translate from SockJS. Clients communicate using your API contract. Pushpin is a server-side implementation detail. An existing real-time API can be migrated to or away from Pushpin without breaking clients. Since Pushpin is a proxy server, the backend can be written in any language. Convenience libraries are available to make integration easy. With Pushpin, API management systems can manage real-time endpoints. ... -
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
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. -
21
...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
-
22
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. -
23
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). ... -
24
Create Eth App
Create Ethereum-powered apps with one command
Create Ethereum-powered apps with one command. Create Eth App works on macOS, Windows, and Linux. If you've previously installed create-eth-app globally via yarn global add create-eth-app, we recommend you uninstall the package using yarn global remove create-eth-app and use the yarn create eth-app shorthand to ensure that you use the last version. When you’re ready to deploy to production, create a minified bundle with yarn run react-app:build. You’ll need to have Node 14 or later version... -
25
Remix IDE
Browser-based compiler and IDE
Remix IDE is an open source web and desktop application. It fosters a fast development cycle and has a rich set of plugins with intuitive GUIs. Remix is used for the entire journey of contract development as well as act as a playground for learning and teaching Ethereum. Remix IDE is part of the Remix Project which is a platform for development tools that use a plugin architecture. It encompasses sub-projects including Remix Plugin Engine, Remix Libs, and of course Remix-IDE. Remix IDE is a powerful open source tool that helps you write Solidity contracts straight from the browser. ...
