Skip to content
View edean's full-sized avatar
Block or Report

Block or report edean

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. HoTT HoTT Public

    Forked from HoTT/Coq-HoTT

    Homotopy type theory

    Verilog 1

  2. KHK_tablebase KHK_tablebase Public

    Tablebase generator for king-and-hawk vs. king positions on an 8x8 board

    Groff

  3. vigor vigor Public

    Python

  4. edean.github.io edean.github.io Public

  5. pkremp.github.io pkremp.github.io Public

    Forked from pkremp/pkremp.github.io

    HTML

  6. anki anki Public

    Forked from ankitects/anki

    Anki for desktop computers

    Python