Popular repositories Loading

1. subconvert subconvert Public

   Subtitle file converter

   Haskell

2. codes codes Public

   Haskell

3. 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++ 1

4. wara-sw wara-sw Public

   Forked from wasp-sweden/wara-sw

   WASP Research Arena for Software

5. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

6. phasar phasar Public

   Forked from secure-software-engineering/phasar

   A LLVM-based static analysis framework.

   C++