TỔ CHỨC GITHUB
idris-lang — tổ chức GitHub
idris-lang có 6.5k sao trên các repo GitHub công khai, xếp hạng #2667 toàn cầu trong nhóm tổ chức GitHub.
Repo nổi bật
idris-lang có bao nhiêu sao GitHub?
idris-lang có 6.5k sao trên các repo công khai, xếp hạng #2667 toàn cầu.
Repo nào của idris-lang nhiều sao nhất?
Repo nhiều sao nhất là Idris-dev, với 3.5k sao.
idris-lang là cá nhân hay tổ chức?
Đây là tài khoản tổ chức trên GitHub.
Xem cách chúng tôi tính bảng xếp hạng này ở trang methodology.