Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for translator souffle
souffle
x
translator
x
3 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.
Crepe
⭐
371
Datalog compiler embedded in Rust as a procedural macro
Souffle
⭐
43
DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
Related Searches
Language Translator (78)
C Plus Plus Translator (18)
Datalog Souffle (8)
Rust Translator (6)
Designer Translator (4)
Static Analysis Souffle (4)
Logic Programming Souffle (3)
C Plus Plus Souffle (3)
Rust Souffle (3)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.