TopGit
TỔ CHỨC GITHUB

UniMath — tổ chức GitHub

UniMath có 2.3k sao trên các repo GitHub công khai, xếp hạng #5873 toàn cầu trong nhóm tổ chức GitHub.

Hạng toàn cầu#5873
Tổng số sao2.3k
Repo công khai22
Xem trên GitHub ↗

Repo nổi bật

UniMath★ 1.0kSymmetryBook★ 445agda-unimath★ 312Foundations★ 246TypeTheory★ 122Schools★ 942006_03_Homotopy_lambda_calculus★ 15largecatmodules★ 12book★ 11Universe_Polymorphic_Type_System★ 10

UniMath có bao nhiêu sao GitHub?

UniMath có 2.3k sao trên các repo công khai, xếp hạng #5873 toàn cầu.

Repo nào của UniMath nhiều sao nhất?

Repo nhiều sao nhất là UniMath, với 1.0k sao.

UniMath 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.

← Về bảng xếp hạng Organizations