1240 Open source projects that are alternatives of or similar to Scilla

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

An Analysis Tool for Smart Contracts

A tool for developing smart contracts. Crafted with the finest cacaos.

Ethereum smart contracts that have been used during successful ICOs

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

A blockchain platform with a simplified programming language

Mortgage Processing App using Hyperledger Fabric Blockchain. Uses channels for privacy and access, and restricts read/write previleges through endorsement policies

Official Rust implementation of the Purple Protocol

精通以太坊 （中文版）

The fastest crypto online

Collection of papers in the field of distributed systems, game theory, cryptography, cryptoeconomics, zero knowledge

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

🌱 Construct Merkle Trees and verify proofs in JavaScript.

A repo full of smart contracts written in Solidity

Tools for building browser applications on Flow 🌊

Blockchain and Crytocurrency Resources

General interoperability framework for trustless cross-system interaction

Official Go implementation of the IOST blockchain

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

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

The Non-Fungible Token standard on the Flow Blockchain

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

Fast Ethereum Virtual Machine implementation

DEPRECATED: use `eosc boot` now. Historically: Orchestrator for a decentralized EOS.IO blockchain network boot

Homepage Theorem Proving in Lean FAQ

Official Blocknet cryptocurrency wallet

A secure Decred wallet daemon written in Go (golang).

✅ A Go library for email verification without sending any emails.

Indtroductory course to cryptocurrencies and applications of Blockchain technologies.

A Proof-oriented Programming Language

A curated list of EOS Ecosystem by SuperONE.

比特币、以太坊公私钥生成以及签名，长时间不维护可移步 https://github.com/QuincySx/ChainWallet

Ethereum HD Wallet derivations in Go (golang)

Featured in Awesome Vue [https://github.com/vuejs/awesome-vue], a curated list maintained by vuejs of awesome things related to the Vue.js framework, and Awesome List [https://awesomelists.net/150-Vue.js/3863-Open+Source/18749-DOkwufulueze-eth-vue], this Truffle Box provides everything you need to quickly build Ethereum dApps that have authentication features with vue, including configuration for easy deployment to the Ropsten Network. It's also Gravatar-enabled. Connecting to a running Ganache blockchain network from Truffle is also possible -- for fast development and testing purposes. Built on Truffle 5 and Vue 3, eth-vue uses vuex for state management, vuex-persist for local storage of app state, and vue-router for routing. Authentication functionalities are handled by Smart Contracts running on the Ethereum blockchain.

TrueChain Consensus Protocol: Minerva

Stacks ecosystem overview.

☁️ API for the Trust Wallet. Project no longer supported and current version used as source of transactions and address tokens in Blockatlas https://github.com/trustwallet/blockatlas/blob/master/config.yml#L64

Helm charts for running and operating Hyperledger Fabric in Kubernetes. Previously hosted at https://github.com/APGGroeiFabriek/PIVT.

A simplified blockchain implementation in Java

A fast and lightweight interactive terminal based UI application for tracking cryptocurrencies 🚀

Dock governance proposals and smart contract

The blockchain for Smart Media Tokens (SMTs) and decentralized applications.

Collection of Verification Tasks

区块链学习路上的一些资料作为参考

Samples demonstrating the use of Blockchain with IBM Watson IoT

🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations

A simple library to recover the private key of ECDSA and DSA signatures sharing the same nonce k and therefore having identical signature parameter r

An e-voting system based on blockchain using ring signature

🍀 Create your own Proof of Stake cryptocurrency with its own blockchain based on NXT

Blockchain for the 996 evidence

Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

An image hosting service on top of the LBRY protocol.

Core and web app for Proof of Existence - the original blockchain notary service

EOSIO Blockchain Interface & Wallet

Achain blockchain

⛓️ The Infrastructure of Decentralized Exchange ✨

Lemon dApp is a world's first encrypted & decentralized e-mail service.

An easy-to-use, high-performance Interledger implementation written in Rust