Các kho mã nguồn mở đang theo dõi của MetaRocq, sắp xếp theo số sao.
Siêu lập trình, lý thuyết meta đã được xác minh và triển khai Rocq trong Rocq
