Idrisには同等のハッカーや追跡がありますか？

Question

つまり、Idrisに書かれたオープンソースソフトウェアの中央パッケージレポジトリはまだ存在しますか？

何人かのグーグルが私をidris-hackers githubページhereに導いてくれました。もちろん、Idrisで書かれたgithubでプロジェクトを検索することもできます。私は基本的にIdrisのパッケージを探すために紛失している別のよく知られているサイトがあるかどうか疑問に思っていました。

Answer 1

いいえ実際にはIdrisの中央パッケージセットはありません。

しかし、it looks likeが優先されます。

最も近い私が見つけたis in Nix。おそらく非常に幼児期ですが。