Chủ đề · refinement-types
refinement-types
Các kho mã nguồn mở đang theo dõi được gắn thẻ refinement-types, sắp xếp theo số sao.
Kho mã
6
Tổng số sao
7.767
Số sao trung bình
1.295
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng refinement-types 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ẻ refinement-types.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1★ 2.337+1Thay đổi số sao trong 7 ngày qua
- #2★ 1.733+2Thay đổi số sao trong 7 ngày qua
- #3
Liquid Types cho Haskell
★ 1.334+2Thay đổi số sao trong 7 ngày qua - #4★ 909+2Thay đổi số sao trong 7 ngày qua
- #5
🤝 Lập trình theo hợp đồng cho Python. Viết mã không lỗi. Thêm một vài decorator, nhận phân tích tĩnh và kiểm thử miễn phí.
★ 907+1Thay đổi số sao trong 7 ngày qua - #6★ 554+0Thay đổi số sao trong 7 ngày qua
