Pinned Loading
Repositories
Showing 10 of 16 repositories
- souffle Public
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.
- treeedb Public Forked from langston-barrett/treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
- souffle-lsp-plugin Public Forked from 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
Top languages
Loading…
Most used topics
Loading…