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

  2. sparrow sparrow Public

    The Sparrow Static Analyzer

    OCaml 126 28

  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
  • pytea Public

    PyTea: PyTorch Tensor shape error analyzer

    TypeScript 313 17 0 0 Updated Apr 26, 2022
  • sparrow Public

    The Sparrow Static Analyzer

    OCaml 126 28 0 1 Updated Sep 19, 2021
  • PLDI2020_242_artifact_publication Public

    for ACM DL

    C 1 0 0 0 Updated Aug 20, 2020
  • PLDI2020_AE Public
    C 1 0 0 0 Updated Feb 29, 2020
  • ssft19-ai Public
    OCaml 1 1 0 0 Updated May 24, 2019
  • ssft19-sparrow Public
    C 0 0 0 0 Updated May 23, 2019
  • snt Public Forked from snu-sf/snt

    Show-and-tell Slides

    0 1 0 0 Updated Apr 26, 2019
  • zooberry Public

    A software framework for global sparse analyzers and their verified validators

    Coq 22 3 1 0 Updated Oct 25, 2017
  • infer Public Forked from facebook/infer

    A static analyzer for Java, C and Objective-C

    OCaml 2 2,326 2 0 Updated Aug 17, 2017

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…