Skip to content
@vpa-research

vpa-research

Popular repositories Loading

  1. jsl-spec jsl-spec Public

    A specification for Java (11) Standard Library in LibSL

    Dart 2

  2. libsl-parser libsl-parser Public

    Parse of LibSL language

    Kotlin 1

  3. Java-Agent-Experiments Java-Agent-Experiments Public

    Java

  4. jsl-spec-generated jsl-spec-generated Public

    Java

  5. jsl-test-samples jsl-test-samples Public

    A collection of simple applications for testing overrides for Java Standard Library

    Java

  6. jsl-spec-skeleton-generator jsl-spec-skeleton-generator Public

    Rought LibSL specification shell construction utility for Java (std) classes

    Java

Repositories

Showing 9 of 9 repositories
  • libsl-typescript-build Public

    Build infrastructure (TBD)

    vpa-research/libsl-typescript-build’s past year of commit activity
    TypeScript 0 0 0 0 Updated Oct 15, 2024
  • libsl-parser Public

    Parse of LibSL language

    vpa-research/libsl-parser’s past year of commit activity
    Kotlin 0 1 1 0 Updated Aug 22, 2024
  • typescript-taint-config-demo Public
    vpa-research/typescript-taint-config-demo’s past year of commit activity
    Dart 0 0 0 0 Updated Jul 16, 2024
  • jsl-spec-validation Public

    A set of tests to validate correctness of translated approximations

    vpa-research/jsl-spec-validation’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Jun 6, 2024
  • jsl-spec Public

    A specification for Java (11) Standard Library in LibSL

    vpa-research/jsl-spec’s past year of commit activity
    Dart 2 MIT 0 0 1 Updated Apr 25, 2024
  • Java-Agent-Experiments Public
    vpa-research/Java-Agent-Experiments’s past year of commit activity
    Java 0 0 0 0 Updated Apr 10, 2024
  • jsl-spec-generated Public
    vpa-research/jsl-spec-generated’s past year of commit activity
    Java 0 0 0 0 Updated Feb 29, 2024
  • jsl-test-samples Public

    A collection of simple applications for testing overrides for Java Standard Library

    vpa-research/jsl-test-samples’s past year of commit activity
    Java 0 0 0 0 Updated Dec 20, 2023
  • jsl-spec-skeleton-generator Public

    Rought LibSL specification shell construction utility for Java (std) classes

    vpa-research/jsl-spec-skeleton-generator’s past year of commit activity
    Java 0 0 0 0 Updated Dec 15, 2023

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…