Chủ đề · specifications
specifications
Các kho mã nguồn mở đang theo dõi được gắn thẻ specifications, sắp xếp theo số sao.
Kho mã
4
Tổng số sao
5.690
Số sao trung bình
1.423
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng specifications 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ẻ specifications.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
TLC là một trình kiểm tra mô hình cho các thông số kỹ thuật được viết bằng TLA+. TLA+Toolbox là một IDE cho TLA+.
★ 3.026+8Thay đổi số sao trong 7 ngày qua - #2★ 1.238+0Thay đổi số sao trong 7 ngày qua
- #3
Đặc tả IRCv3 | Lộ trình: https://git.io/IRCv3-Roadmap | Quy tắc ứng xử: http://ircv3.net/conduct.html
★ 864+2Thay đổi số sao trong 7 ngày qua - #4★ 562+0Thay đổi số sao trong 7 ngày qua
