| # | Repo Name | Owner | Reports | Commits | Issues | Change Requests |
|---|---|---|---|---|---|---|
| 114301 | gcc | rust-lang | TODO | 5069 | 0 | TODO |
| 114302 | libtest-next | rust-lang | TODO | 170 | 0 | TODO |
| 114303 | infra-smoke-tests | rust-lang | TODO | 126 | 0 | TODO |
| 114304 | rust-project-goals | rust-lang | TODO | 694 | 0 | TODO |
| 114305 | rustc-stable-hash | rust-lang | TODO | 25 | 0 | TODO |
| 114306 | project-const-traits | rust-lang | TODO | 1 | 0 | TODO |
| 114307 | rustc_codegen_c | rust-lang | TODO | 9 | 0 | TODO |
| 114308 | aws-runners-test | rust-lang | TODO | 23 | 0 | TODO |
| 114309 | lean3 | leanprover | TODO | 0 | 0 | TODO |
| 114310 | leanprover.github.io | leanprover | TODO | 336 | 0 | TODO |
| 114311 | ace | leanprover | TODO | 0 | 0 | TODO |
| 114312 | lean.js | leanprover | TODO | 76 | 0 | TODO |
| 114313 | tutorial | leanprover | TODO | 623 | 0 | TODO |
| 114314 | deprecated-homebrew-lean | leanprover | TODO | 812 | 0 | TODO |
| 114315 | cmu-15815-s15 | leanprover | TODO | 37 | 0 | TODO |
| 114316 | ppa-updater | leanprover | TODO | 15 | 0 | TODO |
| 114317 | presentations | leanprover | TODO | 99 | 0 | TODO |
| 114318 | emacs-dependencies | leanprover | TODO | 10 | 0 | TODO |
| 114319 | lean.tmbundle | leanprover | TODO | 18 | 0 | TODO |
| 114320 | macports | leanprover | TODO | 412 | 0 | TODO |
| 114321 | tc | leanprover | TODO | 2 | 0 | TODO |
| 114322 | logic_and_proof_lean3 | leanprover | TODO | 474 | 0 | TODO |
| 114323 | theorem_proving_in_lean | leanprover | TODO | 906 | 0 | TODO |
| 114324 | mkleanbook | leanprover | TODO | 677 | 0 | TODO |
| 114325 | lean2 | leanprover | TODO | 0 | 0 | TODO |
This is a beta build of Augur-View. Experimental frontend features may not be fully functional.