GitHub repository: liyishuai/FreeSpec
Primary language: Coq
Description: A framework for implementing and certifying impure computations in Coq