Skip to content
@aas-integration

AAS Integration

Popular repositories Loading

  1. integration-test integration-test Public

    Big integration test of all tools

    Python 3 5

  2. integration-test2 integration-test2 Public

    2nd big integration test of all tools

    Python 2 7

  3. daikon-tutorial daikon-tutorial Public

    Daikon tutorial for use by users of aas-integration repositories

    TeX 1

  4. mini_corpus mini_corpus Public

    Tiny set of java programs for benchmarking muse stuff. Programs in the same subfolder are assumed to be similar.

    Java

  5. jbx jbx Public

    Forked from ucla-pls/jbx

    Java Benchmark Expressions

    Nix

  6. daikon daikon Public

    Forked from codespecs/daikon

    Dynamic detection of likely invariants

    C

Repositories

Showing 10 of 20 repositories
  • clusterer Public

    Clusters fully qualified class names by name similarity.

    aas-integration/clusterer’s past year of commit activity
    Java 0 MIT 0 2 (1 issue needs help) 0 Updated Apr 3, 2021
  • integration-test2 Public

    2nd big integration test of all tools

    aas-integration/integration-test2’s past year of commit activity
    Python 2 MIT 7 1 0 Updated Jan 10, 2020
  • partitions Public

    partitions a list of projects (based on word intersections) into clusters

    aas-integration/partitions’s past year of commit activity
    Java 0 0 0 1 Updated Feb 14, 2018
  • sci_corpus Public

    scientific computing libraries

    aas-integration/sci_corpus’s past year of commit activity
    0 0 0 1 Updated Sep 29, 2017
  • jump Public
    aas-integration/jump’s past year of commit activity
    Java 0 BSD-3-Clause 1 0 0 Updated Jun 27, 2017
  • daikon-measurements Public

    Measurements of coverage of Daikon toolset on the corpus

    aas-integration/daikon-measurements’s past year of commit activity
    Perl 0 0 0 0 Updated May 24, 2017
  • imagej Public

    Git repo of imagej library (https://imagej.nih.gov/ij/)

    aas-integration/imagej’s past year of commit activity
    Java 0 0 0 0 Updated Apr 10, 2017
  • Sort10 Public
    aas-integration/Sort10’s past year of commit activity
    Java 0 0 0 0 Updated Apr 10, 2017
  • Sort09 Public
    aas-integration/Sort09’s past year of commit activity
    Java 0 0 0 0 Updated Apr 10, 2017
  • Sort07 Public

    Example sorting algorithm

    aas-integration/Sort07’s past year of commit activity
    Java 0 0 0 0 Updated Apr 10, 2017
View all 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…