Chủ đề · agda
agda
Các kho mã nguồn mở đang theo dõi được gắn thẻ agda, sắp xếp theo số sao.
Kho mã
3
Tổng số sao
4.164
Số sao trung bình
1.388
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng agda trên cùng một kho mã.
Mới nổi gần đây
Các kho mã tạo trong 90 ngày qua và được gắn thẻ agda.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1★ 2.922+1Thay đổi số sao trong 7 ngày qua
- #2
Thư viện chuẩn của Agda.
★ 675+0Thay đổi số sao trong 7 ngày qua - #3★ 567+1Thay đổi số sao trong 7 ngày qua
