Pinned

1. crux-bitcode crux-bitcode Public

   Easily build LLVM bitcode from popular open-source software.

   Roff 6 3

2. timequick timequick Public

   Header-only library to quickly (coarsely) time code

   C 5 1

3. ctir ctir Public

   Forked from llvm/llvm-project

   Clang fork that annotates some instructions with C/C++ types.

   C++ 1 1

4. SVF-tools/SVF SVF-tools/SVF Public

   Static Value-Flow Analysis Framework for Source Code

   C++ 1.3k 418

5. ttytimer ttytimer Public

   ncurses countdown timer based on xorg62's tty-clock

   C 15 2

6. unitc unitc Public

   C unit testing library

   C