| Tag: datalog 2 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: programming-language functional logic jvm static-analysis programming-languages compiler | ||
| Package | Description | Version |
|---|---|---|
| flix ☆ formula | Statically typed functional, imperative, and logic programming language | 0.67.2 |
| souffle ☆ formula | Logic Defined Static Analysis | |