GitHub repository: utensil/alectryon
Description: A collection of tools for writing technical documents that mix Coq code and prose.