452 Open source projects that are alternatives of or similar to plutus-experimental-smart-contracts

TLA+ language support for Visual Studio Code

Intrepyd Model Checker

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Read-only mirror of the Klever Git repository

Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems.

Links to tools by subject

Initially started as my own personal lecture notes. Slowly, I'm converting this repo into an extremely detailed set of notes to help future pioneers, Cardano devs and anyone with an academic interest in DLTs and Blockchain Consensus Algorithms.

TLA+ language support for Visual Studio Code

A starter project for Plutus apps

CoreIR Symbolic Analyzer

Software Quality Wiki

Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.

Stacks ecosystem overview.

eBitcoin (eBTC) is an ERC20 token. Its primary utility is to provide an easy & fast payment solution. Its edge over other tokens is that it is capable of sending up to 255 payments in a single transaction.

IDE for waves blockchain RIDE language

Write once, run forever. Deploy robust, scalable, decentralized WebAssembly applications on Wavelet.

The protocol for real-time finance on the Ethereum blockchain

Flow is a fast, secure, and developer-friendly blockchain built to support the next generation of games, apps, and the digital assets that power them 🌊

Create an ERC20 Token for FREE in less than a minute with the most used Smart Contract Generator for ERC20 Token. No login. No setup. No coding required.

An open-source Crypto-Currency exchange. Peatio v3.0 Coming Soon !

Blockchain Books

Solidity Engineer Challenge

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

Enterprise-ready blockchain platform

Smart Contracts for the Status Contribution Period, along with Genesis and Network Tokens

Tutorial on writing smart contracts on EOS EOS智能合约教程,从零开始学习EOS智能合约, DApp安全漏洞(security)及攻击实践(EOS Contract)(Powered by Itleaks)

🌱 Construct Merkle Trees and verify proofs in JavaScript.

Ethereum smart contracts that have been used during successful ICOs

List of CTF related to Ethereum world (solidity smart contracts)

🎛 Set Protocol Smart Contracts

The Flint Programming Language for Smart Contracts

Smart Contract Systems the easy way. Open source development framework.

Working with smart contracts with eth-brownie, python, and Chainlink.

A SDK for implementing blockchain-based digital currencies

Blockchain and Crytocurrency Resources

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

A Python library for the MythX smart contract security analysis platform

The Non-Fungible Token standard on the Flow Blockchain

Smart Contract Weakness Classification and Test Cases

🛠️ A smart contract UI for your Ethereum dapp project

Accord Project Documentation

Hyperledger Fabric Contract and Chaincode implementation for Java https://wiki.hyperledger.org/display/fabric

A series of notes that were taken during the ConsenSys Academy program.

CLI tool for Smart Contract error tracking, monitoring and alerting.

An advanced Ethereum mobile wallet

Python-based EOS smart-contract development & testing framework

Scilla - A Smart Contract Intermediate Level Language

Tools for building browser applications on Flow 🌊

An up to date and bare minimum tutorial on deploying smart contracts with python

First version of go-MATRIX, especially for TPS optimization and AI

Hashed Timelock Contracts for ETH, ERC20 and ERC721 on Ethereum

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

🏬Contracts for market

<블록체인의 정석>, <하이퍼레저 블록체인 개발> 소스코드 및 참고자료 저장소

A curated collection of resources on smart contract programming languages

Security issues in Ethereum demonstrated in mocha tests. The fix is also demonstrated

General interoperability framework for trustless cross-system interaction

Dock governance proposals and smart contract

Documentation for Remix IDE