Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for logic programming souffle
logic-programming
x
souffle
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
Mixologician
⭐
46
optimize your home bar with ✨logic programming✨
Related Searches
Prolog Logic Programming (125)
Logic Programming Datalog (20)
C Plus Plus Logic Programming (13)
Rust Logic Programming (11)
Datalog Souffle (8)
Static Analysis Souffle (4)
Translator 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.