GitHub repository: mnxn/FStar
Description: Verification system for effectful programs