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

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

Collection of Verification Tasks

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).

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.

Official Go implementation of the hyperchain protocol

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

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

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

⭐️ CosmosJS - Cosmos JavaScript Library

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

WebDollar Protocol - Currency of the Internet

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

🚀 ⚡️ ✨ next-gen mining pool server software

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

The Blockstack website

Node for Polymesh Blockchain

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

JavaScript tools for BitShares Encryption and Serialization

A curated list of awesome decentralized applications / resources

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

Smart contracts comprising the business logic of the Matic Network

Source code for the ElementsProject.org website

EOSIO Blockchain Interface & Wallet

The simpliest script for parsing Bitcoin blockchain. It made convertion of blk*****.dat files to the simple text.

The Total Solution for Blockchain with Privacy Protecting

Ledger Explorer for the Stellar Network 🚀

Achain blockchain

An alternative implementation of the Bitcoin Cash protocol, written in Golang

WARNING: This repository is no longer maintained ⚠️ We are no longer showing the Hyperledger Composer Service.

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

➿ 💡 My Udacity projects that I have made to improve my skills and complete my nanodegree. Please don't use it to copy the projects. Submit the PR if you want something to be added to this repository.

Python library for Hyperledger Iroha, a simple distributed ledger.

Cross-platform EOSIO command-line swiss-army-knife (EOS, BOS, Telos, Worbli, etc.)

A lightweight web wallet for Cardano cryptocurrency with Trezor and Ledger support. Please note that the only valid domain for our wallet is adalite.io

Ethereum Smart Contracts Security CheckList From Knownsec 404 Team

📱 Trust - Ethereum Wallet and Web3 DApp Browser for iOS

🚀 Hanzo JavaScript SDK. Develop cutting-edge decentralized applications.

Client for ledger nano s hw

Blockchain demo based on golang 基于golang编写的区块链公链demo

Blockchain ve cryptocurrency'leri (Bitcoin gibi) daha iyi anlayabilmek için, Türkçe dokümante edilen bir Python implementasyonu

Lightning Network Specifications

A curated list of awesome EOS frameworks, libraries, software and resources.

Learn blockchain by building one in node.js

Waves platform documentation

[Python + Flask] DFile: A fancy S3-based file sharing mode

DeFi Score: An open framework for evaluating DeFi protocols

Ethereum based derivatives trading protocol creating digital tokens for any asset

Binance Smart Chain

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

aergo blockchain kernel

A library for building dApps on the Tezos Blockchain - JavaScript / TypeScript

Simple and pure block explorer you can run on top of a full node

Telegram Open Network research group. Telegram: https://t.me/ton_research

A fast SAT solver

The official Musicoin Desktop Wallet Application

CLI swiss army knife for Ethereum developers

A Tamagotchi and Battle Game for EOS Blockchain :)

🌾 A step-by-step blockchain tutorial in simplified Chinese