Skip to content
@ropas

ROPAS Lab.

ROPAS Lab. @ Seoul National University

Popular repositories

  1. pytea pytea Public

    PyTea: PyTorch Tensor shape error analyzer

    TypeScript 312 18

  2. sparrow sparrow Public

    The Sparrow Static Analyzer

    OCaml 120 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. snt snt Public

    Forked from snu-sf/snt

    Show-and-tell Slides

Repositories

Showing 9 of 9 repositories

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…