Skip to content
View MunMun06's full-sized avatar
📚
learning
📚
learning
2 followers · 3 following
  • Thailand
  • 13:49 (UTC +07:00)

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Block or report MunMun06

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MunMun06/README.md

Hi, I'm Thapanun Mahachaiyawong 👋

I am a Computer Science undergraduate student currently entering my second year. I am curious and i love diving deep into how things actually work and try to understand them. I also have a sense for problem solving and math.

🌐 Migration Notice

  • As of 2026-06-11: My main git forge is Codeberg. Most repositories on this GitHub account have been archived or set up as mirrors.

🛠️ Current Tech Stack

  • Languages: C++, C, Java, Lua, Python
  • Environment: Arch Linux, Hyprland, Kitty, Tmux, Oh My Zsh, Neovim (with lazy.nvim)
  • Interests: Free and Open Source Software (FOSS), formal verification, authentication, encryption, error correction

📂 Public Repositories

  • backup: My dotfiles and configuration files backed up with Git.
  • perfmon-tui: A TUI tool to monitor system performance.
  • My_programming_stuff: My general programming playground, mostly containing files used for learning new languages.

📫 Contact & Links

Popular repositories Loading

  1. github_pages_hosting github_pages_hosting Public archive

    HTML 1

  2. natural_number_game_lean4 natural_number_game_lean4 Public

    Forked from alexkassil/natural_number_game_lean4

    This is a mirror. Upstream: https://codeberg.org/munmun06/natural_number_game_lean4

    Lean 1

  3. GlimpseOfLean GlimpseOfLean Public

    Forked from PatrickMassot/GlimpseOfLean

    This is a mirror. Upstream: https://codeberg.org/munmun06/GlimpseOfLean

    Lean 1

  4. My_programming_stuff My_programming_stuff Public

    This is a mirror. Upstream: https://codeberg.org/munmun06/My_programming_stuff

    C++ 1

  5. backup backup Public

    This is a mirror. Upstream: https://codeberg.org/munmun06/backup

    Lua 1

  6. bug_bounty bug_bounty Public

    This is a mirror. Upstream: https://codeberg.org/munmun06/bug_bounty

    1