Open Source Windows Smart Contract Tools
Sort By:
Smart Contract Tools for Windows
View 8 business solutionsBrowse free open source Smart Contract tools and projects for Windows below. Use the toggles on the left to filter open source Smart Contract tools by OS, license, language, programming language, and project status.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
Simple, Secure Domain RegistrationRegister or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
-
1
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 failed. As a relatively young language, Solidity is advancing at a rapid speed. We aim for a regular (non-breaking) release every 2-3 weeks, with approximately two breaking releases per year. You can follow the implementation status of new features in the Solidity Github project. You can see the upcoming changes for the next breaking release by switching from the default branch (develop) to the breaking branch. -
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. Hardhat Network is a local Ethereum network designed for development. Hardhat is the best choice for Solidity debugging. You get Solidity stack traces, console.log and explicit error messages when transactions fail. -
3
Truffle
A tool for developing smart contracts. Crafted with the finest cacaos.
The most comprehensive suite of tools for smart contract development. Quickly build, test, debug, and deploy using the Truffle CLI. Write scripts and plugins to automate common processes. Interact directly with the blockchain using the Truffle console. Write tests in Solidity, JavaScript, and TypeScript. Truffle will manage your entire workflow. Get a deeper understanding of transactions with the Truffle debugger. Step in/out, set breakpoints, and analyze variables through the CLI and the native VS Code debugger. Debug mainnet transactions by stepping through verified contract source code. Truffle will give you the best view into what's happening. Bring up a local blockchain with pre-funded accounts for fast testing with Truffle’s Ganache. Fork mainnet with zero-config, impersonate accounts, auto-mine blocks, and use Ganache programmatically with Node.js. Print variables for quick analysis using console.log and Vyper’s print. -
4
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. The library is designed so that only the contracts and functions you use are deployed, so you don't need to worry about it needlessly increasing gas costs. Reduce the risk of vulnerabilities in your applications by using standard, tested, community-reviewed code. -
The All-in-One Commerce Platform for Businesses - ShopifyShopify is a leading all-in-one commerce platform that enables businesses to start, build, and grow their online and physical stores. It offers tools to create customized websites, manage inventory, process payments, and sell across multiple channels including online, in-person, wholesale, and global markets. The platform includes integrated marketing tools, analytics, and customer engagement features to help merchants reach and retain customers. Shopify supports thousands of third-party apps and offers developer-friendly APIs for custom solutions. With world-class checkout technology, Shopify powers over 150 million high-intent shoppers worldwide. Its reliable, scalable infrastructure ensures fast performance and seamless operations at any business size.
-
5
Mythril
Security analysis tool for EVM bytecode. Supports smart contracts
Mythril is a security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. 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. -
6
Chainlink
node of the decentralized oracle network
Securely connect smart contracts with off-chain data and services. Chainlink decentralized oracle networks provide tamper-proof inputs, outputs, and computations to support advanced smart contracts on any blockchain. Start building your hybrid smart contract with Chainlink. Use decentralization, trusted nodes, premium data, and cryptographic proofs to connect highly accurate and available data/APIs to any smart contract. Build on a flexible framework that can retrieve data from any API, connect with existing systems, and integrate with any current or future blockchain. Integrate pre-built, time-tested oracle solutions that already secure tens of billions in smart contract value for market-leading decentralized applications. Use a decentralized network of Chainlink Automation nodes to automate contracts, mitigating risk of manual interventions and centralized servers. -
7
Embark
Framework for serverless Decentralized Applications using Ethereum
Embark is a platform that enables easy development and deployment of decentralized applications. Build, test, and deploy your Smart Contracts without the hassle. Embark takes care of the groundwork, watches for changes, and redeploys your application when needed. Testing shouldn't be an afterthought. Embark makes debugging and testing first-class citizens of your development workflow. Pick and choose which features, plugins and tools you want to integrate with. Embark is built with modularity in mind. Gives an overview of all processes controlled by Embark. It also comes with an interactive console and predictive commands. Cockpit's explorer lets you easily review any transactions, Smart Contracts, and accounts. With Cockpit you can iteratively and selectively deploy your Smart Contracts, removing headaches associated with complex applications. Edit your source files from right within Cockpit for quick and easy updates. -
8
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). TypeChain is a code generator - provide ABI file and name of your blockchain access library (ethers/truffle/web3.js) and you will get TypeScript typings compatible with a given library. -
9
ZoKrates
A toolbox for zkSNARKs on Ethereum
ZoKrates is a toolbox for zkSNARKs on Ethereum. It helps you use verifiable computation in your DApp, from the specification of your program in a high-level language to generating proofs of computation to verifying those proofs in Solidity. Zero-knowledge proofs (ZKPs) are a family of probabilistic protocols, first described by Goldwasser, Micali and Rackoff in 1985. 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. -
Photo and Video Editing APIs and SDKsUnlock Picsart's full editing suite by embedding our Editor SDK directly into your platform. Offer your users the power of a full design suite without leaving your site.
-
10
0x Monorepo
0x protocol monorepo - includes our smart contracts
0x protocol monorepo, includes our smart contracts and many developer tools. 0x is an open protocol that facilitates the trustless, low-friction exchange of Ethereum-based assets. For more information on how it works, check out the 0x protocol specification. This repository is a monorepo including the 0x protocol smart contracts and numerous developer tools. Each public sub-package is independently published to NPM. Visit our developer portal for a comprehensive list of core & community-maintained packages. All packages maintained with this monorepo are listed. You will also need to have Python 3 installed, in order to build and run the tests of abi-gen's command-line interface, which is integrated with the yarn build, yarn test, and yarn lint commands described below. More specifically, your local pip should resolve to the Python 3 version of pip, not a Python 2.x version. -
11
Aeternity node
Scalable blockchain for the people, smart contracts, state channels
Engineered to scale and last, æternity is an easily accessible blockchain platform for the global public. With numerous innovative functionalities and performance far ahead of earlier blockchains, æternity allows its users and community to seamlessly venture into the new era of society, economy, and digital interactions. The æternity blockchain project was born out of a desire for a more fair Internet supported by scalable, open-source and cryptographic software, with a commitment to technical excellence. æternity blockchain itself launched as the public æternity mainnet in 2018. It is now a blossoming community of enthusiasts supported via the æternity crypto foundation. At its core, æternity is a blockchain protocol and a smart contract platform that goes beyond what traditional blockchains do. It is designed to be fault-tolerant and perfect for cases with billions of transactions in DEFI and more. -
12
Aiken
A modern smart contract platform for Cardano
A modern smart contract platform for Cardano. -
13
Awesome Algorand
Curated list of awesome resources related to the Ⱥlgorand Blockchain
A curated list of awesome resources related to the Algorand Blockchain. Algorand is an open-source, proof-of-stake blockchain and smart contract computing platform. You can enhance your experience by interacting with the AI chatbot available at AwesomeAlgo Search. It's designed to answer any questions you might have regarding resources in this repository. -
14
BOOM POOL
A new type of utility token with self-destructing mechanism
BOOM is a new type of utility token with self-destructing mechanism, based on Ethereum smart contract. BOOM project is a social experiment, aiming at exploring the market influence of an extremely deflationary cryptocurrency, and it will validate the effect of BOOM token as a hedge against the rapid inflation in token ecosystem. The origin of BOOM is simple, once users transfer BOOM to others, 1% of the total transfer amount is automatically destroyed at the same time. The initial total supply of BOOM is 1 billion. The supply will decrease due to transactions, and no new BOOM will be issued then. The destruction of BOOM token will run automatically on chain, written in Ethereum smart contract. No one can interfere. When taking insight into bitcoin and litecoin supply halving history, you can find that destroying the liquidity can cause positive market expectations, and may cause a value increase. Now Boom provides a whole new supply curve, which is much more radical. -
15
BlockScout
Blockchain explorer for Ethereum based network
Blockscout provides a comprehensive, easy-to-use interface for users to view, confirm, and inspect transactions on EVM (Ethereum Virtual Machine) blockchains. Blockscout currently supports a wide range of projects and hosts chains such as Ethereum, Ethereum Classic, Gnosis Chain, RSK, LUKSO, Astar, and many more. BlockScout is an Elixir application that allows users to search transactions, view accounts and balances, and verify smart contracts on the Ethereum network including all forks and sidechains. Currently available full-featured block explorers (Etherscan, Etherchain, Blockchair) are closed systems which are not independently verifiable. As Ethereum sidechains continue to proliferate in both private and public settings, transparent, open-source tools are needed to analyze and validate transactions. -
16
Cy
Hackers terminal browser of Cyber blockchains
Cy - a nushell wrapper, a client for the Cyber family blockchains (bostrom, pussy) and IPFS. Bostrom is the name of the consensus computer that maintains a general-purpose, permissionless informational graph where nodes are CIDs of files in the IPFS network, and edges are Cyberlinks (consisting of source, destination, author, height - records) written into the blockchain. The information written into the blockchain is secured to remain in existence as long as the blockchain is operative. The blockchain is designed with economic incentives that motivate validators to sustain the network. For further information about Cyber blockchains, please refer to Bostrom Journal. -
17
Dapp tools by DappHub
Dapp, Seth, Hevm, and more
Command line tools and smart contract libraries for Ethereum smart contract development. All you need Ethereum development tool. Build, test, fuzz, formally verify, debug & deploy solidity contracts. Ethereum CLI. Query contracts, send transactions, follow logs, slice & dice data. Testing-oriented EVM implementation. Debug, fuzz, or symbolically execute code against local or mainnet state. Sign Ethereum transactions from a local keystore or hardware wallet. dapptools is currently in a stage of clandestine development where support for the casual user may be deprived. The software can now be considered free as in free puppy. Users seeking guidance can explore using foundry as an alternative. This repository contains the source code for several programs hand-crafted and maintained by DappHub, along with dependency management, courtesy of Nix. -
18
DemocracyEarth Wallet
Censorship resistant democracies
Decentralized human identity without sybils or bots. Built with Kleros and the Ethereum community. No servers or databases are used. Control your identity with any Ethereum wallet. Contribute to the success of UBI and Proof of Humanity by leveraging ETH. Keep ETH or DAI in our smart contract vaults and help burn UBI tokens using yield. Half the yield is used to buy UBI. UBI is then burned, reducing its supply. No biometrics or real names are required. Just a quick video that proves your humanity. Audit any profile without permission. Challenged profiles go to a Kleros court. UBI is a Universal Basic Income token that gets streamed using Ethereum to verified Proof of Humanity profiles. ETH or DAI is lended via Yearn Finance. Earn the cumulative interest. -
19
Devault
Decentralized alternative to proprietary and centralized cloud storage
A Blockchain-based, self-hosted, and end-to-end encrypted cloud storage. Devault is a decentralized, self-hosted, and end-to-end encrypted alternative to proprietary and centralized cloud storage. The file gets encrypted using AES-256-CBC encryption. The encrypted file is split into pieces. The chunks are distributed across the network nodes. The root hash will be stored in your wallet on the blockchain. -
20
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. Source code integration to identify which lines are covered after the fuzzing campaign. Curses-based retro UI, text-only or JSON output. -
21
Ethlint
(Formerly Solium) Code quality & Security Linter for Solidity
Ethlint (Formerly Solium) analyzes your Solidity code for style & security issues and fixes them. Standardize Smart Contract practices across your organization. Integrate with your build system. Deploy with confidence! Solium does not strictly follow Solidity Style Guide. The practices it enforces by default are best practices for the community at large. If you’re using vim with syntastic, and prefer to use a locally installed version of Solium (rather than a global version), you can install syntastic local solium to automatically load the local version in packages that have installed their own. Solium does not strictly adhere to Solidity Style Guide. It aims to promote coding practices agreed upon by the community at large. You can specify rules or plugins to apply as command line options. If you specify one, it overrides its corresponding configuration in the soliumrc file. -
22
Hyperledger Burrow
A permissioned Ethereum smart-contract blockchain node
Hyperledger Burrow is a permissioned Ethereum smart-contract blockchain node. It executes Ethereum EVM and WASM smart contract code (usually written in Solidity) on a permissioned virtual machine. Burrow provides transaction finality and high transaction throughput on a proof-of-stake Tendermint consensus engine. Burrow is a fully-fledged blockchain node and smart contract execution engine -- a distributed database that executes code. Burrow runs Ethereum Virtual Machine (EVM) and Web Assembly (WASM) smart contracts. Burrow networks are synchronized using the Tendermint consensus algorithm. A node can detect if its state is corrupted or if a validator is dishonestly executing the protocol. Run a private or public permissioned network. Stakeholders may vote for autonomous smart contract upgrades. Application state is organised in an event stream and can drive external systems. -
23
Neoblog
Neoblog is a public blogging platform that's completely serverless
Neoblog is a public blogging platform that's completely serverless. Reading and posting articles to our platform require no servers and runs completely on the NEO Blockchain and IPFS. The traditional way of setting up a blog is to set up a server that will store your content. With modern technologies, we are advancing into an age that moves away from traditional servers. Combine this with the decentralization of storage (IPFS) and blockchain, we now have a toolkit to provide an application that's completely serverless. Neoblog is a serverless application that uses these these technologies: built on the NEO blockchain, articles are posted to our smart contract, while the content is stored on IPFS. -
24
Nethereum
Ethereum .Net cross platform integration library
Nethereum is the .Net integration library for Ethereum, simplifying the access and smart contract interaction with Ethereum nodes both public or permission like Geth, Parity or Quorum. Nethereum is developed targeting netstandard 1.1, netstandard 2.0, netcore 2.1, netcore 3.1, net451 and also as a portable library, hence it is compatible with all the operating systems (Windows, Linux, MacOS, Android, and OSX) and has been tested on cloud, mobile, desktop, Xbox, hololens and windows IoT. 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). -
25
Plutus
The Plutus language implementation and tools
Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal verification and functional programming paradigms.