Giter VIP home page Giter VIP logo

blog's Introduction

Hi there 👋

  • 😼 I'm Yuxuan Sun, an undergraduate @ SJTU-SPEIT, majoring French and minoring Information Engineering.
  • 🔭 I’m currently working on Algorithm, Data Structure, and some interesting miscellaneous items.
  • 🌱 I’m currently learning rustlings / Berkeley CS61B.
  • 👯 I’m looking to collaborate on Formal Verification.
  • 🤔 I’m looking for help with Computer Architecture / Compiler / Static Analysis / Formal Methods.
  • 💬 Working languages: Chinese(Mandarin), English, French(mal T_T). Feel free to ask me about anything about SJTU-SPEIT.
  • 📫 How to reach me via e-mail: [email protected] / [email protected]

Coding Stats

definfo's GitHub stats Top Langs definfo's WakaTime stats definfo's github activity graph

Tech Stack & Personal Workflow

My Skills

blog's People

Contributors

73fc avatar aa1hshh avatar andre-hjr avatar beavercat7 avatar chenzhiy2001 avatar epochess avatar feifei0827 avatar freheit889 avatar ftq-ssr avatar gege-wang avatar jackyliu16 avatar limingth avatar lispking avatar lmk0724 avatar luojia65 avatar oslearning365 avatar peizhongqiu avatar shzhxh avatar skyfan2002 avatar sunnysyy2005 avatar uran0sh avatar werifu avatar wyfcyx avatar xyongcn avatar ybbybbybbybbybb avatar yfblock avatar yunwei37 avatar yuoo655 avatar zhaiqiming avatar zhiyuansue avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.