Pinned Loading

1. pascal-lab/Tai-e pascal-lab/Tai-e Public

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

   Java 1.5k 175

2. pascal-lab/Tai-e-assignments pascal-lab/Tai-e-assignments Public

   Tai-e assignments for static program analysis

   Java 1.1k 251

3. zipper zipper Public

   Precision-guided context sensitivity for pointer analysis

   Java 57 12

4. scaler scaler Public

   Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity

   Shell 11 2

5. PL-T PL-T Public

   A PL/T compiler written by Racket

   Racket 2

6. SICP SICP Public

   My solutions of exercises in SICP.

   Racket 21 10