Popular repositories Loading

1. smack smack Public

   Forked from smackers/smack

   SMACK: A Modular Software Verification Infrastructure

   C

2. lli_undef_fix lli_undef_fix Public

   Create a variant of LLVM's LLI interpreter that avoids undefined behaviors.

   C++

3. kindsicher kindsicher Public

   The "kindsicher" children's internet protection system

   PHP

4. llvm llvm Public

   Forked from llvm-mirror/llvm

   Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.

   C++

5. lli_undef_fix_admin lli_undef_fix_admin Public

   administrative files for the lli_undef_fix project

   LLVM

6. llvm4 llvm4 Public

   manually-created clone of cschreiner/llvm repo after a few important branches there became confused.