TỔ CHỨC GITHUB
FStarLang — tổ chức GitHub
FStarLang có 3.7k sao trên các repo GitHub công khai, xếp hạng #4118 toàn cầu trong nhóm tổ chức GitHub.
Repo nổi bật
FStarLang có bao nhiêu sao GitHub?
FStarLang có 3.7k sao trên các repo công khai, xếp hạng #4118 toàn cầu.
Repo nào của FStarLang nhiều sao nhất?
Repo nhiều sao nhất là FStar, với 3.1k sao.
FStarLang 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.