Block or report user

Report or block ckaestne

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@ps-mr

Popular repositories

  1. TypeChef

    Type checking ifdef variability

    C 45 24

  2. CIDE

    Virtual Separation of Concerns

    Java 6 9

  3. TypeChef-LinuxAnalysis

    C 6 5

  4. LEADT

    Feature Mining with LEADT: Consistent Semi-Automatic Detection of Product-Line Features

    Java 3 2

  5. JavaBDD_repackaged

    repackaged version of JavaBDD and JDD to push it to maven

    Java 3 2

  6. kconfigreader

    KConfigReader - accurate translation of kconfig files to propositional formulas

    Scala 3 1

37 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri

Contribution activity

December 2018

ckaestne has no activity yet for this period.

November 2018

Seeing something unexpected? Take a look at the GitHub profile guide.