| # | Repo Name | Owner ▼ | Reports | Commits | Issues | Change Requests |
|---|---|---|---|---|---|---|
| 42626 | curl-docker | curl | TODO | 85 | 48 | TODO |
| 42627 | stats | curl | TODO | 432 | 8 | TODO |
| 42628 | relative | curl | TODO | 17 | 0 | TODO |
| 42629 | curl-container | curl | TODO | 71 | 24 | TODO |
| 42630 | trurl | curl | TODO | 281 | 77 | TODO |
| 42631 | curl.dev | curl | TODO | 3 | 1 | TODO |
| 42632 | .github | curl | TODO | 3 | 0 | TODO |
| 42633 | cvc5 | cvc5 | TODO | 12251 | 2538 | TODO |
| 42634 | lfsc | cvc5 | TODO | 95 | 22 | TODO |
| 42635 | cvc5-projects | cvc5 | TODO | 0 | 671 | TODO |
| 42636 | cvc5.github.io | cvc5 | TODO | 85 | 0 | TODO |
| 42637 | docs-ci | cvc5 | TODO | 183 | 0 | TODO |
| 42638 | cvc5_pythonic_api | cvc5 | TODO | 86 | 5 | TODO |
| 42639 | ossrh-73873 | cvc5 | TODO | 1 | 0 | TODO |
| 42640 | docs | cvc5 | TODO | 24 | 0 | TODO |
| 42641 | cvc5-deps | cvc5 | TODO | 1 | 0 | TODO |
| 42642 | homebrew-cvc5 | cvc5 | TODO | 14 | 2 | TODO |
| 42643 | symfpu | cvc5 | TODO | 11 | 0 | TODO |
| 42644 | alfc | cvc5 | TODO | 676 | 1 | TODO |
| 42645 | artifact-fmcad23-sygus | cvc5 | TODO | 1 | 0 | TODO |
| 42646 | isarare | cvc5 | TODO | 55 | 0 | TODO |
| 42647 | aletheinalf | cvc5 | TODO | 19 | 0 | TODO |
| 42648 | drat-trim | cvc5 | TODO | 204 | 0 | TODO |
| 42649 | nestedgrassmann | cvgmi | TODO | 24 | 0 | TODO |
| 42650 | cvxpy | cvxpy | TODO | 3464 | 1409 | TODO |
This is a beta build of Augur-View. Experimental frontend features may not be fully functional.