bot • Rank 7.5 • Science 54%

The Rocq Prover bot

devpet_backend • Science 44%

github-crawler • Science 44%

The GitHub Crawler is a Python-based project that utilizes the GitHub API to fetch and crawl data related to commits and pull requests from various repositories. It's a tool designed for developers who want to analyze the activity in a GitHub repository. The crawler can fetch data about commits, pull requests, pull commits, pull files, pull reviews