Block or report user

Report or block agacek

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. jkind

    JKind - An infinite-state model checker for safety properties in Lustre

    Java 16 18

  2. jkind-xtext

    Lustre Plug-in for Eclipse with JKind Analysis Support

    Java 1 2

  3. jpdr

    Small project for learning PDR and Java 8

    Java 1

  4. jkind-paper

    TeX 1

  5. clicky

    Java/SWT version of Clicky


  6. ivory

    Forked from GaloisInc/ivory

    The Ivory EDSL