This is stars and forks stats for /KenjiTakahashi/prog repository. As of 06 May, 2024 this repository has 0 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| 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 |
| batterseapower/test-framework | HaskellShell | 83 | 0 | 45 | 0 |
| objectionary/try-phi | HaskellPureScriptTypeScript | 13 | 0 | 3 | 0 |