Trustfull-funded researchers have developed or contributed to the following data sets:
- Codrep machine learning on source code competition, the raw diff (https://zenodo.org/record/3413509#.X32m15rRbr0)
- Coq OPAM archive (https://github.com/coq/opam-coq-archive/)
- Definitions of all packages related to Coq for the package manager OPAM
- Coq Platform (https://github.com/coq/platform)
- Curated collection of packages to support Coq use in industry, education, and research
- MathComp corpus
- Machine learning dataset of high quality code from Coq verification projects
- Maven Central Dependency Graph (https://zenodo.org/record/3820487#.X32ltJrRbr0)