this is the chat extension module for the decentralized framework.
A chat web-application built with NodeJS and React using Pusher Channels and Auth0 secure login API. I made this application by following the guide "Build a Chat App with React, Auth0 and Pusher" by Yomi Eluwande. For link see readme
A very simple checklist application made with nodeJS and react
A framework for smart contract verification in Coq