Contributor
@mingodad
repos
4
ecosystems
languages
2
commits
17
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.
Submodule included by Urbit
Google's Operations Research tools:
A Parser Combinator library for C
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
