Examples

OPAM website

The Coq OPAM website is an online list of the Coq packages. It is generated using coq-io/opam-website, which calls OPAM commands to get the details of each package.

ChickBlog

ChickBlog was a research blog system which helped to design the Coq.io library. See the comments on Hacker News, Reddit and Lobsters.