Trustfull-funded researchers have developed or contributed to the following data sets:
- Codrep machine learning on source code competition, the raw diff
- Coq OPAM archive
- Definitions of all packages related to Coq for the package manager OPAM
- 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