8000 HQ1995 (Hanqing Zhao) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View HQ1995's full-sized avatar

Block or report HQ1995

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

Starred repositories

Showing results

High-Performance Implementation of OpenAI's TikToken.

C++ 303 5 Updated Jun 30, 2025

Compositional Differentiable Programming Library

Python 1,425 67 Updated Jun 28, 2025

这是一个简单的技术科普教程项目,主要聚焦于解释一些有趣的,前沿的技术概念和原理。每篇文章都力求在 5 分钟内阅读完成。

4,035 351 Updated May 29, 2025

Hurl, run and test HTTP requests with plain text.

Rust 16,387 648 Updated Jun 30, 2025

Real-time Claude Code usage monitor with predictions and warnings

Python 2,243 95 Updated Jun 30, 2025

Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1, M2, M3, M4

Swift 6,350 162 Updated Jun 30, 2025

利用AI大模型,一键生成高清短视频 Generate short videos with one click using AI LLM.

Python 37,423 5,370 Updated Jun 11, 2025

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Swift 16,200 317 Updated Jul 1, 2025

Get started with building Fullstack Agents using Gemini 2.5 and LangGraph

Jupyter Notebook 14,915 2,418 Updated Jun 18, 2025

A Lean companion to Analysis I

Lean 841 104 Updated Jun 30, 2025

A gallery that showcases on-device ML/GenAI use cases and allows people to try and use models locally.

Kotlin 12,046 869 Updated Jun 30, 2025

APM, Application Performance Monitoring System

Java 24,375 6,596 Updated Jun 30, 2025

Staging repo for development of native port of TypeScript

Go 21,073 656 Updated Jul 1, 2025

Kyanos is a networking analysis tool using eBPF. It can visualize the time packets spend in the kernel, capture requests/responses, makes troubleshooting more efficient.

C 4,624 195 Updated Jul 1, 2025

The simplest, fastest repository for training/finetuning small-sized VLMs.

Python 3,606 323 Updated Jun 30, 2025

Open-source implementation of AlphaEvolve

Python 2,965 367 Updated Jun 30, 2025
TypeScript 696 76 Updated Jun 26, 2025

Lean Theorem Prover MCP

Python 53 1 Updated Jun 29, 2025

A MCP server for symbolic manipulation of mathematical expressions

Python 31 4 Updated Jun 28, 2025

Matrix multiplication schemes

Mathematica 192 5 Updated May 9, 2025

Fast, efficient, and robust memory reclamation for Rust.

Rust 424 17 Updated Jun 11, 2025

🦀 Prevents outdated Rust code suggestions from AI assistants. This MCP server fetches current crate docs, uses embeddings/LLMs, and provides accurate context via a tool call.

Rust 120 20 Updated Jun 23, 2025

A collection of MCP servers.

58,810 4,536 Updated Jun 30, 2025

A 21st century LaTeX wrapper

Python 630 69 Updated Apr 28, 2024

A memory safe implementation of sudo and su.

Rust 3,748 115 Updated Jun 30, 2025

A course of learning LLM inference serving on Apple Silicon for systems engineers.

Python 2,660 137 Updated Jun 14, 2025

An extremely fast Python linter and code formatter, written in Rust.

Rust 40,474 1,414 Updated Jul 1, 2025

Code to automatically prove or verify estimates in analysis

Python 290 25 Updated Jul 1, 2025

🗂️A file list/WebDAV program that supports multiple storages, powered by Gin and Solidjs. / 一个支持多存储的文件列表/WebDAV程序,使用 Gin 和 Solidjs。

Go 48,649 8,019 Updated Jul 1, 2025
Next
0