This is stars and forks stats for /input-output-hk/ouroboros-leios repository. As of 11 May, 2024 this repository has 1 stars and 2 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| cutsea110/yesod-pnotify | Haskell | 1 | 0 | 1 | 0 |
| NorfairKing/feedback | HaskellNix | 51 | 0 | 8 | 0 |
| KenjiTakahashi/prog | PrologHaskell | 0 | 0 | 0 | 0 |
| hwayne/lets-prove-leftpad | SystemVerilogCommon LispIsabelle | 580 | 0 | 56 | 0 |
| xuxiaodong/usingcli-book | TeXCSSMakefile | 1.4k | 0 | 86 | 0 |
| ZhouKanglei/BUAAProposal | TeX | 24 | +1 | 2 | 0 |
| fabbing/obts_exn | TeXGDBMakefile | 28 | 0 | 1 | 0 |
| ongardie/dissertation | TeXMakefile | 911 | 0 | 127 | 0 |
| cdelledonne/llresume | TeX | 20 | 0 | 4 | 0 |
| LucyMcGowan/writing-positivity-continous-ps | RTeX | 0 | 0 | 0 | 0 |