Skip to content
View Magikaaarp's full-sized avatar
18 followers · 7 following
  • University of Chinese Academy of Sciences

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report Magikaaarp

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
Magikaaarp/README.md

👋 Hi there, I'm Xiaoquan Xu!

Welcome to my GitHub profile! I'm a passionate developer who loves to explore the world of technology and create amazing things. Whether it's coding, problem-solving, or just tinkering with new tools, I'm always up for a challenge!

🚀 About Me

  • 🌱 I’m currently learning quantum computing and formal methods
  • 💻 I love working with Coq & C/C++

🤝 Let's Connect

I'm always open to new ideas and collaborations! You can reach me at:

Thanks for stopping by! Let’s build something awesome together! 🚀

Popular repositories Loading

  1. Magikaaarp.github.io Magikaaarp.github.io Public

    CSS 1

  2. Magikaaarp Magikaaarp Public

    1

  3. hello-world hello-world Public

    just a repository

  4. microsat microsat Public

    Forked from marijnheule/microsat

    microsat

    C++

  5. nPSO_model nPSO_model Public

    Forked from biomedical-cybernetics/nPSO_model

    MATLAB code for the nonuniform PSO (nPSO) model

    MATLAB

  6. math-comp math-comp Public

    Forked from math-comp/math-comp

    Mathematical Components

    Coq