Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
@lhydave
lhydave
Follow
  • Peking University
  • Beijing, China

Highlights

  • Pro

Block or report lhydave

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
Showing results

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript 105,624 14,173 Updated Jun 28, 2026

Copilot Chat extension for VS Code

TypeScript 9,982 1,984 Updated May 20, 2026

OCR, layout analysis, reading order, table recognition in 90+ languages

Python 20,985 1,507 Updated Jun 13, 2026

A lightweight coding agent for open models like Deepseek, Kimi, and Qwen

Rust 64,156 5,572 Updated Jun 20, 2026

The HOL Light theorem prover

OCaml 541 97 Updated Jun 24, 2026

什么?你敢放心的把后背交给 AI? 我赌你不敢,那就来学学 AI 时代最酷、最安全、最快的语言吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,这可能是目前最用心的 Rust 中文学习教程 / Book

Rust 30,561 2,581 Updated Jun 8, 2026

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

Scala 5,830 3,034 Updated Dec 11, 2024

Linux kernel source tree

C 237,890 62,912 Updated Jun 28, 2026

GNU Libc - Extremely old repo used for research purposes years ago. Please do not rely on this repo.

C 1,976 959 Updated Aug 24, 2018
C++ 11,031 4,778 Updated Jun 28, 2026

The source code for 2048

JavaScript 13,300 17,569 Updated Oct 24, 2024

AltStyle によって変換されたページ (->オリジナル) /