Lists (1)
Sort Name ascending (A-Z)
Stars
2
stars
written in C++
Clear filter
An Open Source Machine Learning Framework for Everyone
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.