| # | Repo Name | Owner | Reports | Commits | Issues | Change Requests |
|---|---|---|---|---|---|---|
| 62826 | cvc5_pythonic_api | cvc5 | TODO | 96 | 10 | TODO |
| 62827 | ossrh-73873 | cvc5 | TODO | 1 | 0 | TODO |
| 62828 | docs | cvc5 | TODO | 0 | 0 | TODO |
| 62829 | cvc5-deps | cvc5 | TODO | 0 | 0 | TODO |
| 62830 | homebrew-cvc5 | cvc5 | TODO | 18 | 4 | TODO |
| 62831 | symfpu | cvc5 | TODO | 11 | 0 | TODO |
| 62832 | alfc | cvc5 | TODO | 982 | 15 | TODO |
| 62833 | artifact-fmcad23-sygus | cvc5 | TODO | 1 | 0 | TODO |
| 62834 | isarare | cvc5 | TODO | 55 | 0 | TODO |
| 62835 | aletheinalf | cvc5 | TODO | 42 | 0 | TODO |
| 62836 | drat-trim | cvc5 | TODO | 204 | 0 | TODO |
| 62837 | daytona | daytonaio | TODO | 722 | 869 | TODO |
| 62838 | app-deploy | daytonaio | TODO | 3 | 0 | TODO |
| 62839 | aws-terraform | daytonaio | TODO | 2 | 0 | TODO |
| 62840 | docs | daytonaio | TODO | 123 | 104 | TODO |
| 62841 | installer | daytonaio | TODO | 61 | 11 | TODO |
| 62842 | .github | daytonaio | TODO | 21 | 0 | TODO |
| 62843 | homebrew-daytona | daytonaio | TODO | 117 | 0 | TODO |
| 62844 | backstage-devcontainer-plugin | daytonaio | TODO | 4 | 0 | TODO |
| 62845 | vscode-extension-release | daytonaio | TODO | 3 | 1 | TODO |
| 62846 | jetbrains-plugin-release | daytonaio | TODO | 2 | 0 | TODO |
| 62847 | cloud-platforms-iac-examples | daytonaio | TODO | 39 | 0 | TODO |
| 62848 | samples-index | daytonaio | TODO | 6 | 0 | TODO |
| 62849 | sample-alpine | daytonaio | TODO | 2 | 0 | TODO |
| 62850 | sample-ubuntu | daytonaio | TODO | 2 | 0 | TODO |
This is a beta build of Augur-View. Experimental frontend features may not be fully functional.