This is stars and forks stats for /jonsterling/Coq-Up repository. As of 10 May, 2024 this repository has 3 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| seL4/capdl | HaskellPythonC | 32 | 0 | 43 | 0 |
| Kleidukos/get-tested | HaskellMakefile | 27 | 0 | 2 | 0 |
| AndrasKovacs/elaboration-zoo | HaskellAgda | 517 | 0 | 30 | 0 |
| simonmar/ghc-paths | Haskell | 10 | 0 | 18 | 0 |
| PaulVisschers/algebra | Haskell | 0 | 0 | 0 | 0 |
| Mikolaj/miniutter | Haskell | 4 | 0 | 1 | 0 |
| uwplse/verdi | CoqOther | 561 | 0 | 56 | 0 |
| batterseapower/test-framework | HaskellShell | 83 | 0 | 45 | 0 |
| objectionary/try-phi | HaskellPureScriptTypeScript | 13 | 0 | 3 | 0 |
| anton-k/handle-pattern-servant-app | HaskellJavaScriptMakefile | 14 | 0 | 1 | 0 |