GitHub にあるぼくの PureScript のリポジトリのうち 55 / 60 を archived にした。しばらくは PureScript ではなく Rust に取り組んでいくと思うのでメンテナンスしそうにないものを archived にした。 言語別リポジトリ数を計測した。前回は 2020-04-04 の…