GitHub repos by chshersh
6 public repos by chshersh in the catalog, most starred first.
- chshersh/zbgStars: 335OCamlAlpha
- chshersh/cclStars: 271OCamlAlpha
- chshersh/github-tuiStars: 255OCamlAlpha
- chshersh/irisStars: 198HaskellPrototype
- chshersh/pragmatic-category-theoryStars: 135OCamlPrototype
- chshersh/tool-syncStars: 119RustPrototype