Pinned Loading

1. symbolic-execution-bib symbolic-execution-bib Public

   Forked from saswatanand/symexbib

   A bibliography of papers related to symbolic execution

2. phasar phasar Public

   Forked from secure-software-engineering/phasar

   A LLVM-based static analysis framework.

   C++

3. pure-bash-bible pure-bash-bible Public

   Forked from dylanaraps/pure-bash-bible

   📖 A collection of pure bash alternatives to external processes.

   Shell

4. the-art-of-command-line the-art-of-command-line Public

   Forked from jlevy/the-art-of-command-line

   Master the command line, in one page

5. awesome awesome Public

   Forked from sindresorhus/awesome

   😎 Curated list of awesome lists

6. Tai-e Tai-e Public

   Forked from pascal-lab/Tai-e

   An easy-to-learn/use static analysis framework for Java

   Java