| | Systematic, Ontological, Undiscovered Fact Finding Logic Engine (souffle-lang.github.io) |
| 57 points by xrayarx on Dec 11, 2022 | past | 7 comments |
|
| | Soufflé: A Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io) |
| 84 points by nickmain on Nov 30, 2022 | past | 21 comments |
|
| | Soufflé: a Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io) |
| 2 points by codewithcheese on Nov 8, 2022 | past |
|
| | Soufflé: a Datalog Synthesis Tool for Static Analysis (souffle-lang.github.io) |
| 1 point by nickmain on June 30, 2022 | past |
|
| | Soufflé, a logic programming language inspired by Datalog (souffle-lang.github.io) |
| 4 points by tosh on June 5, 2021 | past |
|
| | A Specialized B-Tree for Concurrent Datalog Evaluation (souffle-lang.github.io) |
| 174 points by matt_d on April 15, 2019 | past | 4 comments |
|
