Skip to content
View notiho's full-sized avatar
1 follower · 0 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report notiho

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 Loading

  1. variants variants Public

    Python 2

  2. poly-reductions poly-reductions Public

    Forked from wimmers/poly-reductions

    Polynomial-time reductions in Isabelle/HOL

    Isabelle 1

  3. comment-parser comment-parser Public

    HTML

  4. tls-app tls-app Public

    Forked from tls-kr/tls-app

    Web Application for TLS

    XQuery

  5. kraken kraken Public

    Forked from mittagessen/kraken

    OCR engine for all the languages

    Python