Skip to content
@codespecs

codespecs

Popular repositories Loading

  1. daikon daikon Public

    Dynamic detection of likely invariants

    C 215 54

  2. fjalar fjalar Public

    A dynamic analysis framework for C and C++ programs

    C 27 10

  3. daikon-dot-net-front-end daikon-dot-net-front-end Public

    Celeriac .NET Front-End for Daikon

    C# 9 1

  4. commons-bcel commons-bcel Public

    Forked from apache/commons-bcel

    Mirror of Apache Commons BCEL

    Java 2

  5. test-daikon-distribution test-daikon-distribution Public

    Test the Daikon distribution

    Shell

  6. test-daikon-staging test-daikon-staging Public

    Test the staging Daikon distribution

    Shell

Repositories

Showing 7 of 7 repositories
  • commons-bcel Public Forked from apache/commons-bcel

    Mirror of Apache Commons BCEL

    codespecs/commons-bcel’s past year of commit activity
    Java 0 Apache-2.0 131 0 0 Updated Dec 10, 2024
  • daikon Public

    Dynamic detection of likely invariants

    codespecs/daikon’s past year of commit activity
    C 215 54 24 8 Updated Nov 28, 2024
  • fjalar Public

    A dynamic analysis framework for C and C++ programs

    codespecs/fjalar’s past year of commit activity
    C 27 10 5 0 Updated May 28, 2024
  • test-daikon-staging Public

    Test the staging Daikon distribution

    codespecs/test-daikon-staging’s past year of commit activity
    Shell 0 0 0 0 Updated Jun 24, 2023
  • test-daikon-distribution Public

    Test the Daikon distribution

    codespecs/test-daikon-distribution’s past year of commit activity
    Shell 0 0 0 0 Updated Apr 14, 2020
  • test-daikon-distribution-macosx Public

    Test the Daikon distribution on Mac OS X

    codespecs/test-daikon-distribution-macosx’s past year of commit activity
    Shell 0 0 0 0 Updated Aug 3, 2018
  • daikon-dot-net-front-end Public

    Celeriac .NET Front-End for Daikon

    codespecs/daikon-dot-net-front-end’s past year of commit activity
    C# 9 1 29 0 Updated Apr 22, 2015

Top languages

Loading…

Most used topics

Loading…