GitHub repository: zyla/coq-todomvc
Primary language: JavaScript
Description: Write Web Apps Like Mathematical Equations! (in Coq)