GitHub repository: stultusmundi/oyente
Primary language: JavaScript
Description:  An Analysis Tool for Smart Contracts