Skip to content
View 17451k's full-sized avatar
🦦
🦦
18 followers · 21 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Highlights

  • Pro

Organizations

@ldv-klever
Block or Report

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

  1. clade clade Public

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

    Python 17 6

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

    Read-only mirror of the Klever Git repository

    Python 20 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