Pinned Loading
Repositories
Showing 10 of 58 repositories
- souffle Public Forked from souffle-lang/souffle
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.
0xMacro/souffle’s past year of commit activity - awesome-solana-security Public
0xMacro/awesome-solana-security’s past year of commit activity - oz_library_19 Public
0xMacro/oz_library_19’s past year of commit activity - oz_library_20 Public
0xMacro/oz_library_20’s past year of commit activity - oz_library_18 Public
0xMacro/oz_library_18’s past year of commit activity