Popular repositories Loading

1. pytea pytea Public

   PyTea: PyTorch Tensor shape error analyzer

   TypeScript 322 17

2. sparrow sparrow Public

   The Sparrow Static Analyzer

   OCaml 127 27

3. zooberry zooberry Public

   A software framework for global sparse analyzers and their verified validators

   Coq 23 4

4. infer infer Public

   Forked from facebook/infer

   A static analyzer for Java, C and Objective-C

   OCaml 2

5. ssft19-ai ssft19-ai Public

   OCaml 1 1

6. PLDI2020_AE PLDI2020_AE Public

   C 1