Chủ đề · souffle
souffle
Các kho mã nguồn mở đang theo dõi được gắn thẻ souffle, sắp xếp theo số sao.
Kho mã
2
Tổng số sao
1.685
Số sao trung bình
843
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng souffle 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ẻ souffle.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
Soufflé là một biến thể của Datalog dành cho các nhà thiết kế công cụ tạo ra các phân tích bằng mệnh đề Horn. Soufflé tổng hợp một chương trình C++ song song gốc từ đặc tả logic.
★ 1.155+3Thay đổi số sao trong 7 ngày qua - #2★ 530+0Thay đổi số sao trong 7 ngày qua
