#

souffle

Here are 2 public repositories matching this topic...

jdaridis / souffle-lsp-plugin

Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin

language-server static-analysis ide datalog antlr4 vscode-extension souffle lsp-server

Updated Sep 30, 2023
Java

thepalbi / souffle-points-to-analysis

Souffle + Soot points to analysis

soot points-to-analysis souffle

Updated May 14, 2023
Java

Improve this page

Add a description, image, and links to the souffle topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the souffle topic, visit your repo's landing page and select "manage topics."