Topik · souffle

souffle

Repositori open source terpantau bertanda souffle, diurutkan berdasarkan bintang.

Repositori

2

Total bintang

1.685

Rata-rata bintang

843

Porsi

0,00%

Topik yang sering muncul berdampingan dengan souffle di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda souffle.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
souffle ↗@souffle-langC++
Soufflé adalah varian dari Datalog untuk perancang alat yang membuat analisis dalam klausa Horn. Soufflé mensintesis program C++ paralel asli dari spesifikasi logika.
★ 1.155+3Perubahan bintang dalam 7 hari terakhir
#2
crepe ↗@ekzhangRust
Kompiler Datalog yang disematkan dalam Rust sebagai makro prosedural.
★ 530+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik