agda/cubical
An experimental library for Cubical Agda
agda/cubical có thân thiện với người mới không?
Gần đây có quá ít pull request của người đóng góp bên ngoài gửi tới agda/cubical để nói chúng được merge thường xuyên đến đâu. Hiện chưa có issue nào phù hợp với người mới đang mở; danh sách bên dưới là các issue khác chúng tôi có của kho này.
- Star
- 572
- Fork
- 173
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 66
- Ngôn ngữ chính
- Agda
- Giấy phép
- Không có dữ liệu giấy phép
- Lần push lên GitHub gần nhất
- 8/10/2026
- Lập chỉ mục gần nhất
- 28/10/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- good first issue
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Cách đóng góp cho agda/cubical
- Dự án không có hướng dẫn đóng góp, vì vậy hãy bắt đầu từ README và vài pull request vừa được merge để xem thay đổi được đề xuất thế nào.
- Theo dõi kho này để biết khi có issue mới phù hợp với người mới, hoặc xem các issue khác bên dưới.
Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày
-
refactor
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
good first issue refactor
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 15/100
-
Define based identity systemsĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Redundancy between Displayed.Constructions.PropertyOver and Category.Constructions.FullSubcategoryĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 18/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
Define ends and coendsĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
discuss
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Formalize Ordered CommRingsĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Formalizing Devalapurkar & HaineĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Solver for wild categoriesĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
Suggested heap size for CIĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
Where should `π₁(RP²)` be?Đang mởquestion
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
`RecordEquiv` reflection doesn't seem to handle implicit field argumentsCó thể làm lại được @maxsnew đã nhận 465 ngày trước và không có pull request nào đang mở. Đang mở
-
Độ khó 4/5 1-2 ngày Mức phù hợp với người mới 25/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
discuss refactor
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
discuss new content refactor
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 25/100
-
Use 'assign' for PR managementĐang mởdiscuss
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 38/100
-
Short Names or Long Names?Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Agda Nat exports Unit somehowĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
Refactor Int ?Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
order
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 38/100
-
Duplication with agda-stdlibCó thể làm lại được @felixwellen đã nhận 1620 ngày trước và không có pull request nào đang mở. Đang mở
-
Module and elimĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
-
documentation
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100
-
Clean up CubicalĐang mởdiscuss
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
Splitting files in AlgebraCó thể làm lại được @thomas-lamiaux đã nhận 1620 ngày trước và không có pull request nào đang mở. Đang mởdiscuss
-
TypeCategory is strangeĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
order
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Useless import and makeĐang mởrefactor
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
order
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100
-
Use the new MonoidSolverĐang mởrefactor
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Library type-checking timeĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Define (co)equalisers, pushoutsĐang mởnew content
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
new content
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
order
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
bibtex citation for the libraryĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 35/100
-
Record naming conventionsĐang mởorder
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100