GitHub repository: sashashura/FStar
Description: A Proof-oriented Programming Language