This is stars and forks stats for /cutsea110/yesod-pnotify repository. As of 11 May, 2024 this repository has 1 stars and 1 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| NorfairKing/feedback | HaskellNix | 51 | 0 | 8 | 0 |
| KenjiTakahashi/prog | PrologHaskell | 0 | 0 | 0 | 0 |
| hwayne/lets-prove-leftpad | SystemVerilogCommon LispIsabelle | 580 | 0 | 56 | 0 |
| jonsterling/Coq-Up | CoqHaskell | 3 | 0 | 0 | 0 |
| 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 |