Projects | Open Source Science

Projects

Updated 7 months ago

bot • Rank 7.5 • Science 54%

The Rocq Prover bot

bot github github-api github-app gitlab gitlab-api ocaml webhook

Updated 7 months ago

gfi-bot • Science 31%

[Working in Progress] ML-powered 🤖 for finding and labeling good first issues in your GitHub project!

github-app machine-learning python

Updated 7 months ago

github-action_permanent-interaction-limits • Science 26%

GitHub Action to Permanently Limit Interactions

github-action github-actions github-app github-apps github-issues moderation triage