GitHub repository: proofgov/ProofsGoToSpec
Primary language: Python
Description: PROOF's version of RailsGoToSpec (that supports -test.js files as well)