GitHub repository: shaneo05/Oversight
Primary language: C#
Description: Verification tool for Smart Contracts