Popular repositories Loading

1. souffle 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.

   C++

2. clang-tools-static-binaries clang-tools-static-binaries Public

   Forked from muttleyxd/clang-tools-static-binaries

   static-linked versions of clang tools for Linux, Mac OS X and Windows, available in AUR as clang-format-static-bin