The easiest way to get started contributing to Open Source projects like coq

Pick your favorite repos to receive a different open issue in your inbox every day. Fix the issue and everybody wins. 49,962 developers are working on 4,974 open source repos using CodeTriage. What is CodeTriage?.

Sign up with GitHub


Triage Issues!

When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.

Triage Docs!

Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.

not yet supported

5 Subscribers

  • CartoonFan
  • mbaralle
  • netmask
  • cijacob
  • dada1008

Add a CodeTriage badge to coqCodeTriage badge for coq/coq

  • Image URL
  • Markdown
  • Textile
  • Rdoc

Help out