Repositori open source terpantau milik souffle-lang, diurutkan berdasarkan bintang.
Soufflé adalah varian dari Datalog untuk perancang alat yang membuat analisis dalam klausa Horn. Soufflé mensintesis program C++ paralel asli dari spesifikasi logika.
