8000 kanigsson (Johannes Kanig) · GitHub
[go: up one dir, main page]

Skip to content
< 8000 div data-view-component="true" class="Layout-sidebar">
View kanigsson's full-sized avatar

Block or report kanigsson

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. bitcoin-ada bitcoin-ada Public

    Ada 7

  2. fulcrum fulcrum Public

    Fulcrum implementation in SPARK

    Ada 4 1

  3. aoca aoca Public

    Advent of Code in Ada

    Ada 4

  4. leftpad leftpad Public

    Leftpad implementation in SPARK

    Ada 3 1

  5. fuzzy fuzzy Public archive

    A fuzzy matcher library in SPARK

    Ada 3

  6. spark_diff spark_diff Public archive

    Ada 3

0