Similar repositories to smondet/awesome-coq: