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

Block or report tonyxty

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

    Stacks project, from a homotopy type theory point-of-view (hPOV)


  2. Public

    Run a Python script and format the exception traceback as Vim quickfix

    Python 9 2

  3. Collections-DT Collections-DT Public

    Dependently-typed implementations of common collections


  4. minesweeper_bot minesweeper_bot Public

    A telegram bot for minesweeper games

    Rust 8 1

  5. grimoire grimoire Public

    Grimoire of Alice

    Agda 7

  6. FunWithArend FunWithArend Public

    Some interesting snippets in Arend. Mostly for fun.