This list aims to provide a concise list of noteworthy Coq projects and resources. This means that suggested projects are:
(a) widely recommended, regardless of personal opinion
(b) highly discussed in the community due to its innovative nature
(c) absolutely unique in its approach and function
(d) a niche product that fills a gap
There are several required criteria for a pull request:
-
If an entry has a similar scope as other entries in the same category, the description must state the unique features that distinguishes it from the other entries.
-
If an entry does not meet conditions (a) to (d) there has to be an explanation either in the description or the pull request why it should be added to the list.
Self-promotion is viewed critically, but suggestions will be approved if the criteria match.
Furthermore, please ensure your pull request follows the following guidelines:
- Please search previous suggestions before making a new one, as yours may be a duplicate.
- Please make an individual pull request for each suggestion.
- Use the following format for entries:
- [Name](URL) - Description. - Entries should be sorted in ascending alphabetical order, i.e., A to Z.
- New categories or improvements to the existing categorization are welcome.
- Keep descriptions short, simple and unbiased.
- End all descriptions with a full stop/period.
- Check your spelling and grammar.
- Make sure your text editor is set to remove trailing whitespace.
Thank you for your suggestions!