Skip to content
@codespecs

codespecs

Popular repositories Loading

  1. daikon daikon Public

    Dynamic detection of likely invariants

    C 265 61

  2. fjalar fjalar Public

    A dynamic analysis framework for C and C++ programs

    C 30 10

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

    Celeriac .NET Front-End for Daikon

    C# 10 1

  4. commons-bcel commons-bcel Public

    Forked from apache/commons-bcel

    Mirror of Apache Commons BCEL

    Java 2

  5. test-daikon-staging test-daikon-staging Public

    Test the staging Daikon distribution

    Shell

Repositories

Showing 5 of 5 repositories
  • daikon Public

    Dynamic detection of likely invariants

    codespecs/daikon's past year of commit activity
    C 265 61 24 5 Updated Sep 22, 2026
  • 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 143 0 1 Updated Sep 18, 2026
  • fjalar Public

    A dynamic analysis framework for C and C++ programs

    codespecs/fjalar's past year of commit activity
    C 30 10 5 1 Updated Sep 4, 2026
  • 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 Sep 1, 2026
  • 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# 10 1 29 0 Updated Apr 22, 2015

Top languages

Loading…

Most used topics

Loading…