Skip to content
View tzskp1's full-sized avatar
7 followers · 5 following
  • Nagoya, Japan

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
Block or Report

Block or report tzskp1

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

    My lisp interpreter in OCaml

    OCaml 1

  2. sdg_coq sdg_coq Public

    Coq 1

  3. AI-Test AI-Test Public

    Robocup Ai

    C++

  4. latex-template latex-template Public

    TeX

  5. dotfiles dotfiles Public

    Emacs Lisp

  6. kernel_experiment kernel_experiment Public

    Makefile