/moon-browser

A browser for decentralized applications

Primary LanguageJavaScript

Moon-Browser

A browser implementation of the Moon Engine: an ultra-lightweight, formally verified kernel for decentralized applications (DApps).

Note: this is repository is not the formally verified engine, but a lightweight (300kb minified) demo of the same DAppSpec in HTML5. The engine itself will be a native Idris binary, and is planned to be released in 2018.

Installation

  1. Install go-ipfs from https://ipfs.io/ipns/dist.ipfs.io/#go-ipfs

  2. npm install

  3. npm run build

Run

Open app/index.html in your favorite browser.