- 🏫 XMU CS undergrad | Incoming MS student @ ICT, UCAS
- 🛠️ Working on Static Analysis and its way for AI Infra issues
- 💡 Interested in LLM x SE ideas and implementations
- ✏️ TypeScript / Python / C++ / OCaml (still learning)
- 📦 My AUR / npm / PyPI packages
- 📫 Feel free to contact me
lihaoyuan0506[AT]gmail[DOT]com
🧠
Reasoning
Enthusiast in PL/SE | MS Student @ ICT, UCAS | Working on program analysis and cool stuffs!
-
Institute of Computing Technology, CAS
- Beijing
-
12:52
(UTC +08:00) - in/haoyuan-li-550720353
- @goway_lee7588
Pinned Loading
-
AstrBotDevs/AstrBot
AstrBotDevs/AstrBot PublicAI Agent Assistant & development framework that integrates lots of IM platforms, LLMs, plugins and AI feature, and can be your openclaw alternative. ✨
-
flashinfer-ai/flashinfer
flashinfer-ai/flashinfer PublicFlashInfer: Kernel Library for LLM Serving
-
vllm-project/vllm
vllm-project/vllm PublicA high-throughput and memory-efficient inference and serving engine for LLMs
-
sgl-project/sglang
sgl-project/sglang PublicSGLang is a high-performance serving framework for large language models and multimodal models.
-
ContextWeaver
ContextWeaver PublicForked from lyy0709/ContextWeaver
ContextWeaver 是一个利用 Tree-sitter 和向量搜索为大语言模型提供本地代码库智能上下文编织与检索的工具
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



