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

短信验证：基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End

Chia blockchain python implementation (full node, farmer, harvester, timelord, and wallet)

📖Code for Blockchain Demo

Stellar SDK for iOS & macOS - Swift, Stellar, Horizon, Soneso

🚀ONLYCHAIN blockchain underlying system-OCSystem

Collection of Verification Tasks

(Formerly Solium) Code quality & Security Linter for Solidity

YobiChain is your very own private blockchain ecosystem preloaded with database, web & FTP servers and D.A.V.E. (Data Authentication & Verification Engine) and S.A.M. (Smart Asset Management).

API Binding (SDK) for the everiToken blockchain.

Ulord is a P2P value transfer public blockchain. Through building its blockchain underlying architecture and digital resource distribution protocols, it enables third-party developers to explore their own applications over open-source agreements to form a complete ecology of blockchain technology and applications.

Mysterium Network Node - official implementation of distributed VPN network (dVPN) protocol

Official Go implementation of the hyperchain protocol

Hyperledger Fabric SDK for Node https://wiki.hyperledger.org/display/fabric

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

Introduce blockchain related technologies, from theory to practice with bitcoin, ethereum and hyperledger.

Compare cryptocurrency trading data across multiple exchanges and blockchains in the comfort of your terminal

The Parity Bitcoin client

Full Bitcoin library for iOS, implemented on Swift. SPV wallet implementation for Bitcoin, Bitcoin Cash and Dash blockchains.

Monero: the secure, private, untraceable cryptocurrency

⭐️ CosmosJS - Cosmos JavaScript Library

Article back-end for hack.guides() website

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

a gesture recognition verification lock

WebDollar Protocol - Currency of the Internet

a blockchain private key management library on android

are we decentralized yet? an analysis of how truly decentralized cryptocurrency networks are

Event-Driven Architecture Based on Blockchain.基于区块链的事件驱动架构

🚀 ⚡️ ✨ next-gen mining pool server software

Simple blockchain server written in haskell

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

Ethereum.org is a primary online resource for the Ethereum community.

Spring Boot Starter for web3j

Polkadot Validator Secure Setup

EVM-based Blockchain Indexer, with historical data query & real-time notification support 😎

区块链 - 中文资源

The Blockstack website

The Status module that consumes go-ethereum

Node for Polymesh Blockchain

Ethereum smart contract fuzzer

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

📺 d.tube app. A full-featured video sharing website, decentralized.

JavaScript tools for BitShares Encryption and Serialization

高度模块化, 遵循 KISS原则的区块链开发框架

A curated list of awesome decentralized applications / resources

A curated list of privacy on blockchains resources

Tools for building Go applications on Flow 🌊

backend of pool.btc.com

这是kotlin版的简化示例区块链demo；另外还有java版的；这个小demo能让你了解区块链中增加/效验Hash,增加工作量证明,增加/效验preHash,转账,利用webSocket技术实现节点之间的通信/同步/广播.

Ethereum contract for Bitcoin SPV: Live on https://etherscan.io/address/0x41f274c0023f83391de4e0733c609df5a124c3d4

Smart contracts comprising the business logic of the Matic Network

React/Redux dApp (decentralized app) boilerplate using Ethereum's blockchain

Angular CLI + Truffle Starter Dapp; write, compile & deploy smart contracts on Ethereum blockchains

Cadence, the resource-oriented smart contract programming language 🏃‍♂️

📈Track token prices of your favorite exchanges in terminal!

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A blockchain explorer written in Go to learn about building server-side applications that work with the Ethereum blockchain.

Android library for Iroha, a Distributed Ledger Technology (blockchain) platform.

Sample use of Ethereum smart contract in Hyperledger Fabric