| # | Repo Name | Owner | Reports | Commits | Issues | Change Requests |
|---|---|---|---|---|---|---|
| 114301 | gcc | rust-lang | TODO | 0 | 0 | TODO |
| 114302 | libtest-next | rust-lang | TODO | 0 | 0 | TODO |
| 114303 | infra-smoke-tests | rust-lang | TODO | 0 | 0 | TODO |
| 114304 | rust-project-goals | rust-lang | TODO | 0 | 0 | TODO |
| 114305 | rustc-stable-hash | rust-lang | TODO | 0 | 0 | TODO |
| 114306 | project-const-traits | rust-lang | TODO | 0 | 0 | TODO |
| 114307 | rustc_codegen_c | rust-lang | TODO | 0 | 0 | TODO |
| 114308 | aws-runners-test | rust-lang | TODO | 0 | 0 | TODO |
| 114309 | lean3 | leanprover | TODO | 0 | 0 | TODO |
| 114310 | leanprover.github.io | leanprover | TODO | 0 | 0 | TODO |
| 114311 | ace | leanprover | TODO | 0 | 0 | TODO |
| 114312 | lean.js | leanprover | TODO | 0 | 0 | TODO |
| 114313 | tutorial | leanprover | TODO | 0 | 0 | TODO |
| 114314 | deprecated-homebrew-lean | leanprover | TODO | 0 | 0 | TODO |
| 114315 | cmu-15815-s15 | leanprover | TODO | 0 | 0 | TODO |
| 114316 | ppa-updater | leanprover | TODO | 0 | 0 | TODO |
| 114317 | presentations | leanprover | TODO | 0 | 0 | TODO |
| 114318 | emacs-dependencies | leanprover | TODO | 0 | 0 | TODO |
| 114319 | lean.tmbundle | leanprover | TODO | 0 | 0 | TODO |
| 114320 | macports | leanprover | TODO | 0 | 0 | TODO |
| 114321 | tc | leanprover | TODO | 0 | 0 | TODO |
| 114322 | logic_and_proof_lean3 | leanprover | TODO | 0 | 0 | TODO |
| 114323 | theorem_proving_in_lean | leanprover | TODO | 0 | 0 | TODO |
| 114324 | mkleanbook | leanprover | TODO | 0 | 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.