Mailing Lists
- Dominant language
- Python
- Stars
- 110
- Forks
- 32
- PR merge metrics
- No merged PRs in 30d
Description
## Mailing Lists
Dataset URL -
* [git](https://git-scm.com/community)
* [python](https://www.python.org/community/lists/)
* [mailing list archives](https://www.mail-archive.com/)
Does the dataset exists in a scraped format ? No
## Description
In general.
(Almost) every programmer uses a programming language, huge swathes of programming are organized around these languages
Most of these languages have some kind of package manager
This package manager usually has download statistics
## Procedure
- [ ] Determine the top 50-100 programming languages as shown by GitHub statistics or whatever
- [ ] Ignore this list and immediately add Coq, Lean, Haskell, and OCaml as languages no matter what since you need them for proof solving
- [ ] Then add the other 50 languages
- [ ] Locate the mailing list(s) for that programming language, scrape its archives
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.