Skip to content
View mickeys's full-sized avatar

Organizations

@input-output-hk

Block or report mickeys

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. github-markdown-child-pages github-markdown-child-pages Public

    Generate a tree hyperlinked hierarchy of child pages (or repo contents).

    Shell 5 3

  2. how_to_tips_and_tricks how_to_tips_and_tricks Public

    All the geeky computational techniques, tips, and tricks that didn't fit elsewhere.

    HTML 8

  3. non_trivial_gnuplot non_trivial_gnuplot Public

    my solutions to real-world problems that needed plotting to solve :-)

    Gnuplot 1

  4. my_android_utilities my_android_utilities Public

    working with various Android devices

    Shell

  5. lose-weight-keto lose-weight-keto Public

    How I lost 50 pounds on keto

    Gnuplot 7 1

  6. dotfiles dotfiles Public

    my portable UN*X dotfiles compilation

    Shell