Skip to content
View asd142513's full-sized avatar
πŸ‡°πŸ‡·
πŸ‡°πŸ‡·
5 followers · 12 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report asd142513

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
asd142513/README.md

Hi there πŸ‘‹

GitHub stats
Top langs

I like...

I'm interested in...

  • Python
  • Rust
  • Go
  • Haskell

I'm using...

Popular repositories Loading

  1. iamroot-2025 iamroot-2025 Public

    hardcoded scripts for qemu and Raspberry Pi OS Lite (64-bit)

    Shell 1

  2. GFChipCalc GFChipCalc Public

    Forked from Bunnyspa/GFChipCalc

    Girls' Frontline HOC Chip Calculator

    Java

  3. xv6-public xv6-public Public

    Forked from mit-pdos/xv6-public

    xv6 OS

    C

  4. mingw-w64.github.io mingw-w64.github.io Public

    Forked from mingw-w64/mingw-w64.github.io

    mingw-w64.net web page contents (The new web page)

    CSS

  5. asd142513.github.io asd142513.github.io Public

    HTML

  6. natural-number-game-kr natural-number-game-kr Public

    Forked from ImperialCollegeLondon/natural_number_game

    The Natural Number Game translated into Korean by the Semmalgil team. Build the natural numbers in Lean.

    Lean