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 323 17

  2. sparrow sparrow Public

    The Sparrow Static Analyzer

    OCaml 127 28

  3. zooberry zooberry Public

    A software framework for global sparse analyzers and their verified validators

    Coq 23 4

  4. infer infer Public

    Forked from meta/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
  • pytea Public

    PyTea: PyTorch Tensor shape error analyzer

    ropas/pytea's past year of commit activity
    TypeScript 323 17 0 0 Updated Apr 26, 2022
  • sparrow Public

    The Sparrow Static Analyzer

    ropas/sparrow's past year of commit activity
    OCaml 127 28 0 1 Updated Sep 19, 2021
  • PLDI2020_242_artifact_publication Public

    for ACM DL

    ropas/PLDI2020_242_artifact_publication's past year of commit activity
    C 1 0 0 0 Updated Aug 20, 2020
  • PLDI2020_AE Public
    ropas/PLDI2020_AE's past year of commit activity
    C 1 0 0 0 Updated Feb 29, 2020
  • 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 23 4 1 0 Updated Oct 25, 2017
  • infer Public Forked from meta/infer

    A static analyzer for Java, C and Objective-C

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

Most used topics

Loading…