Skip to content
View talkon's full-sized avatar
16 followers · 20 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report talkon

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. modular-symbols modular-symbols Public

    Computing newform subspaces using modular symbols

    C++ 1

  2. magic-squares magic-squares Public

    Searching for 6x6 additive-multiplicative magic squares

    Python

  3. mit-plv/fiat-crypto mit-plv/fiat-crypto Public

    Cryptographic Primitive Code Generation by Fiat

    Coq 732 147

  4. infinitydotsorg infinitydotsorg Public

    InfinityDots website

    HTML 1 1