Skip to content
View 17451k's full-sized avatar
🦦
🦦

Highlights

  • Pro

Organizations

@ldv-klever

Block or report 17451k

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. clade clade Public

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

    Python 19 5

  2. ldv-klever/klever ldv-klever/klever Public

    Read-only mirror of the Klever Git repository

    Python 21 12

  3. cif cif Public

    Forked from ldv-klever/cif

    C

  4. aspectator aspectator Public

    Forked from ldv-klever/aspectator

  5. eventb-to-txt eventb-to-txt Public

    Event-B to txt converter

    Python 6 1

  6. Daohub-io/cap9-spec Daohub-io/cap9-spec Public

    Formal specification of the Cap9 kernel

    Isabelle 3