Các kho mã nguồn mở đang theo dõi của souffle-lang, sắp xếp theo số sao.
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.
