NEO Smart Economy

Maker Keeper Framework: Keeper to actively manage open CDPs.

Build and run Docker containers leveraging NVIDIA GPUs

Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart con…

A library for working with Bitcoin

📄 Counterfactual: Generalized State Channels Paper

Aleth – Ethereum C++ client, tools and libraries

Blue Brain Nexus - A knowledge graph for data-driven science

A Lem formalization of EVM and some Isabelle/HOL proofs

RANDAO: A DAO working as RNG of Ethereum

An open source smart contract platform

Android client for Toshi

EOS bp nodes security checklist（EOS超级节点安全执行指南）

Smart Contract of the SwissRealCoin token

An open-source time-series database optimized for fast ingest and complex queries. Engineered up from PostgreSQL, packaged as an extension.

A small repository of projects built in my course, REST APIs with Flask and Python.

Bankex free and open training course: Blockchain basics

Core code for ganache

Code coverage for Solidity smart-contracts

Smart Contracts for applying regulatory compliance to tokenized securities issuance and trading

Source code for multichaind, multichain-cli and multichain-util.

The Ethereum Improvement Proposal repository

RSKj is a Java implementation of the RSK protocol.

Builds a docker image for Zookeeper

Rust building infrastructure

Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification

Framework for serverless Decentralized Applications using Ethereum, IPFS and other platforms