GitHub repository: rasheedja/PropaFP
Primary language: Haskell
Description: Auto-active verification of floating-point programs.