Chủ đề · tlaplus
tlaplus
Các kho mã nguồn mở đang theo dõi được gắn thẻ tlaplus, sắp xếp theo số sao.
Kho mã
5
Tổng số sao
4.928
Số sao trung bình
986
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng tlaplus 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ẻ tlaplus.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
Ngôn ngữ đặc tả khả thi với các công cụ thú vị dựa trên logic thời gian của hành động (TLA)
★ 1.654+12Thay đổi số sao trong 7 ngày qua - #2★ 1.564+5Thay đổi số sao trong 7 ngày qua
- #3
Danh sách các công ty sử dụng phương pháp hình thức (formal methods) trong công nghiệp
★ 610+1Thay đổi số sao trong 7 ngày qua - #4★ 596+2Thay đổi số sao trong 7 ngày qua
- #5
Hướng dẫn "Nhiều tuần gỡ lỗi có thể giúp bạn tiết kiệm hàng giờ với TLA+". Mỗi git commit giới thiệu một khái niệm mới => hãy kiểm tra lịch sử git!
★ 506+0Thay đổi số sao trong 7 ngày qua
