🚀 Chrome extension to display repository size on GitHub

Manage repository easily.

Migrate Bitbucket repositories over to Github.

One interface to find all group contributors and in IPR bind them

A simple and lightweight tool to manage your monorepo.

Command-line tool to manage SSH and GPG keys for GitHub accounts, enabling analysis, pairing, and setting defaults for repositories.

A Node.js script to bulk delete GitHub repositories while preserving selected ones.

Make GitHub repository links shareable

Github repository manager

Github-Admin is a streamlined collection of boilerplate code designed for performing CRUD operations on GitHub repositories. Utilizing the power of the @octokit/rest library, it simplifies tasks like creating, updating, and deleting repositories through the GitHub REST API, making repository management more efficient for developers.

Academia is a Django-based Campus Repository designed to streamline the file-sharing process between teachers and students. The platform offers distinct homepages for both teachers and students, each tailored to their specific needs.

A server which receive files through websocket

Tired of losing track of your local GitHub repositories? Repodock is your personal code navigation assistant. Instantly create a centralized, symlinked directory that maps all your projects, making repository discovery as simple as a single command.

A chrome extension that briefly describes a GitHub repo

A more advanced remake of Blih (Bocal Lightweight Interface for Humans), EPITECH's tool for repo gestion in NodeJS.

👷 git clone ⇒ run hooks (optional) ⇒ cd

🤖 a GitHub App built with probot that keeps your repository up-to-date with upstream changes via automated PRs.

list local git repos and their status

🔍 Allows GitHub users to see profile statistics of usage, repos, and more...

A project to help you find all the repos in an org where you contributed