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

Fast Ethereum Virtual Machine implementation

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

An advanced Ethereum mobile wallet

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

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

EKT basic blockchain, the main purpose are token transfers and token related smart contracts.

Official Blocknet cryptocurrency wallet

An IDE to develop CKB scripts for Nervos blockchain

Bitcoin light-client implementation in Rust

node of the decentralized oracle network, bridging on and off-chain computation

A Proof-oriented Programming Language

The Ethereum decentralized exchange assistant. Check token balances, transaction details & trade history.

Ethereum solidity graph plain debugger. To have the whole picture when debugging.

Api for the customer's site

TLA+ language support for Visual Studio Code

来自硅谷的终身学习大学

Next generation core inside imToken Wallet.

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

Cogent Project

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

Rust implementation of Zcash protocol

A simplified blockchain implementation in Java

A Rust Bitcoin blockchain parser with clustering capabilities, allowing to group together addresses in ownership clusters. Please contact @mikispag if interested in using BitIodine for any real-world use case.

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

Collection of Verification Tasks

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.

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

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

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

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

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

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

An image hosting service on top of the LBRY protocol.

Smart contracts comprising the business logic of the Matic Network

EOSIO Blockchain Interface & Wallet

The Total Solution for Blockchain with Privacy Protecting

Achain blockchain

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

An open source blockchain network simulator.

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

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

Client for ledger nano s hw

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

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

Waves platform documentation

DeFi Score: An open framework for evaluating DeFi protocols

aergo blockchain kernel

Binance Smart Chain

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).

Blockchain as intended

Hadoop Crypto Ledger - Analyzing CryptoLedgers, such as Bitcoin Blockchain, on Big Data platforms, such as Hadoop/Spark/Flink/Hive

A distributed remote protocol for git based on IPFS, ethereum and aragonOS

Clean and lightweight cross-chain transaction API

Easily connect your applications to blockchains

Forex trading simulator environment for OpenAI Gym, observations contain the order status, performance and timeseries loaded from a CSV file containing rates and indicators. Work In Progress