Pinned Loading

1. Compiler2019-Labs Compiler2019-Labs Public

   NJU Compiler 2019

   C

2. haystack haystack Public

   Forked from spcl/haystack

   Haystack is an analytical cache model that given a program computes the number of cache misses.

   C++

3. java-2018-final java-2018-final Public

   java期末大作业葫芦娃

   Java 1

4. Parallel-Computing Parallel-Computing Public

   并行处理技术

   Java

5. angr/angr angr/angr Public

   A powerful and user-friendly binary analysis platform!

   Python 7.5k 1.1k

6. souffle-lang/souffle souffle-lang/souffle Public

   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++ 915 206