Skip to content
Pro
Block or report user

Report or block 17451k

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@ldv-klever
Block or report user

Report or block 17451k

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. clade

    Clade is a tool for extracting information about software build process and source code

    Python 6 1

  2. aspectator

    Aspectator is a GCC based tool that implements aspect-oriented programming for the C programming language

    C 1

  3. cif

    C Instrumentation Framework is a user-friendly interface for Aspectator

    C 2 1

  4. eventb-to-txt

    Event-B to txt converter

    Python 4

  5. base-model

    First level of the Event-B specification of the HIMACF model (with role-based access control)

    1 1

  6. Daohub-io/cap9-spec

    Formal specification of the Cap9 kernel

    Isabelle 3

363 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

June 2020

17451k has no activity yet for this period.

May 2020

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

You can’t perform that action at this time.