Skip to content
View holmuk's full-sized avatar
👷‍♀️
👷‍♀️
2 followers · 1 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report holmuk

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

Popular repositories

  1. coq-zipper coq-zipper Public archive

    An attempt to verify the Zipper

    Coq 4 1

  2. tichy-strings tichy-strings Public

    An implementation of the VCDIFF (RFC3284) encoder that uses Tichy's string-to-string correction algorithm

    C 1

  3. Sorticoq Sorticoq Public archive

    A small collection of Coq-verified sorting algorithms over ordered types

    Coq

  4. coq-chip8 coq-chip8 Public archive

    Coq

  5. van-emde-boas-python van-emde-boas-python Public

    van Emde Boas tree in Python with random testing

    Python

  6. symmetry-experiments symmetry-experiments Public

    Python