8000 ROPAS Lab. · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@ropas

ROPAS Lab.

ROPAS Lab. @ Seoul National University

Popular repositories Loading

  1. pytea pytea Public

    PyTea: PyTorch Tensor shape error analyzer

    TypeScript 314 17

  2. sparrow sparrow Public

    The Sparrow Static Analyzer

    OCaml 126 27

  3. zooberry zooberry Public

    A software framework for global sparse analyzers and their verified validators

    Coq 22 3

  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

Repositories

Showing 9 of 9 repositories
  • ssft19-ai Public
    ropas/ssft19-ai’s past year of commit activity
    OCaml 1 1 0 0 Updated May 24, 2019
  • ssft19-sparrow Public
    ropas/ssft19-sparrow’s past year of commit activity
    C 0 0 0 0 Updated May 23, 2019
  • snt Public Forked from snu-sf/snt

    Show-and-tell Slides

    ropas/snt’s past year of commit activity
    0 1 0 0 Updated Apr 26, 2019
  • zooberry Public

    A software framework for global sparse analyzers and their verified validators

    ropas/zooberry’s past year of commit activity
    Coq 22 3 1 0 Updated Oct 25, 2017
  • infer Public Forked from facebook/infer

    A static analyzer for Java, C and Objective-C

    ropas/infer’s past year of commit activity
    OCaml 2 2,334 2 0 Updated Aug 17, 2017

    • Top languages

    Loading…

    Most used topics

    Loading…
    0