Giter VIP home page Giter VIP logo

  • StackOverflow:
  • CodeWars:
  • LeetCode: LeetCode user xy-li
    • Templates:
  • Reddit:
  • Paper reading notes:
  • Douban(่ฑ†็“ฃ๏ผ‰: (Frozen now. Because the account is associated with a deprecated phone number, which I cannot verify now. But I extremely recommend the books I marked and the reading notes (in Chinese) I posted on this website.)

Open to jobs!

I'm available for any research or dev (particularly about ML/PL/Cybersecurity) summer intern or full-time jobs in the 2024 Spring/Summer (in the US or remote). If you are interested in working with me, please get in touch with me ( ๐Ÿ“ง [email protected])

๐Ÿ“Š Weekly development breakdown

Other      5 hrs 52 mins   โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   71.85 %
Python     1 hr 33 mins    โ–ˆโ–ˆโ–ˆโ–ˆโ–“โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   18.98 %
C++        44 mins         โ–ˆโ–ˆโ–’โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   09.11 %
Markdown   0 secs          โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   00.04 %
TeX        0 secs          โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   00.02 %

Xinyi Li's Projects

mcsema icon mcsema

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

mochi icon mochi

MoCHi: Model Checker for Higher-Order Programs

moshmosh icon moshmosh

An amazing syntax extension system in pure Python, the way to coding efficiency.

mycourse icon mycourse

ๅฐๅญฆๆœŸC#่ฏพ็จ‹่ฎพ่ฎก๏ผŒ้€‰่ฏพ็ณป็ปŸ

paip-lisp icon paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

project-wuhu icon project-wuhu

่Šœๆน–่ฎกๅˆ’-่ฏพไธš็›ธๅ…ณ็š„้—ฒๆ‚็‰ฉๅ“๏ผˆไธป่ฆไธบtexๆ–‡ๆกฃ๏ผ‰ๅญ˜ๆ”พๅค„

scurve icon scurve

A library for drawing space-filling curves like the Hilbert Curve.

tpa-lstm icon tpa-lstm

Temporal Pattern Attention for Multivariate Time Series Forecasting

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.