Cluster 437826

8 repos

Go · 3

OCaml · 2

Python · 2

HTML · 1

github-api ·19,600

github ·19,600

go ·11,587

golang ·11,551

hacktoberfest ·11,551

python ·7,773

pygithub ·7,773

codeowners-validator ·247

codeowners ·247

checker ·247

Related clusters

Coq Proof Assistant and Extensions23 Rocq Proof Assistant & Type Theory18 Git and GitHub Tooling12 Formal Verification & Rocq Prover21 Octokit JavaScript SDK30 Cluster 46210031

coq/bot

The Rocq Prover bot

OCaml

1,085 commits

rocq-prover/bot

The Rocq Prover bot

OCaml

1,085 commits

google/go-github

Go library for accessing the GitHub v3 API

11,304

2,484 commits

PyGithub/PyGithub

Typed interactions with the GitHub API v3

Python

7,773

2,492 commits

ClickHouse/github-explorer

Everything You Always Wanted To Know About GitHub (But Were Afraid To Ask)

HTML

180

73 commits

nobe4/gh-not

GitHub rule-based notifications management

290 commits

mszostok/codeowners-validator

The GitHub CODEOWNERS file validator

247

121 commits

JasonGross/coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

Python

1,279 commits