souffle-lang/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
A star delta has been computed for 63,087 of 63,708 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 02:37 and 00:54 (BKK).
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
A Kotlin Multi-Platform ecosystem for symbolic AI
Rust bindings for the Z3 solver.
The only reasonable scripting engine for Go.
Logtalk - declarative object-oriented logic programming language
Datalog with support for SMT queries and first-order functional programming
🦉 A grounder and solver for logic programs.
Deep relational learning through differentiable logic programming.
Synthesized Logic Language for World Models 🌱🐋🌍
That's all 9 repositories in this period.