Awesome Open Source

Programming Languages

Search results for souffle

8 search results found

Souffle ⭐ 822

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.

Datalog compiler embedded in Rust as a procedural macro

Cclyzerpp ⭐ 89

cclyzer++ is a precise and scalable global pointer analysis for LLVM code.

Mixologician ⭐ 46

optimize your home bar with ✨logic programming✨

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

Souffle Lsp Plugin ⭐ 11

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

Tree Sitter Souffle ⭐ 8

A tree-sitter grammar for Soufflé Datalog

Related Searches

Datalog Souffle (8)

Static Analysis Souffle (4)

Translator Souffle (3)

Logic Programming Souffle (3)

C Plus Plus Souffle (3)

Rust Souffle (3)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.