na4zagin3/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
ShellCC0-1.0
Stargazers
- amutake@Idein
- gemmaro
- gfngfnKyoto, Japan
- kkiyama117@unimap
- MasWagKyoto University
- matsud224Kyoto, Japan
- monaqaTokyo, Japan
- na4zagin3Indeed.com
- omasanoriJapan, or anywhere else
- puripuri2100University of Tsukuba
- re-taro@ABEMA
- rokoucha@hatena
- sksat@arkedge
- smondetNew York, NY
- SnO2WMaNチルノのパーフェクトさんすう教室
- yoshihiro503@proof-ninja, Inc
- zeptometerKyoto
- zzz11032511Kyushu Institute of Technology