Soufflé | Soufflé • A Datalog Synthesis Tool for Static AnalysisGitHub#programming#language#Datalog#logic#declarative#C++#open source#License: UPL-1.0#static#analysis·souffle-lang.github.io·Apr 27, 2025Soufflé | Soufflé • A Datalog Synthesis Tool for Static Analysis
Flix | The Flix Programming LanguageGitHub#functional#programming#language#effect handlers#Datalog#static typing#JVM#open source#Scala·flix.dev·Apr 6, 2025Flix | The Flix Programming Language
Scallop#programming#language#Datalog#neurosymbolic#logic#Python#embeddable#declarative#AI·scallop-lang.org·Mar 22, 2025Scallop
