GitHub repository: ppedrot/vitef
Primary language: Coq
Description: A junkyard to stuff bits of quick-n'-dirty code