Highlights
Lists (3)
Starred repositories
Command-line tool to inspect the difference between (the text in) two PDF files
A High-Throughput Multi-GPU System for Graph-Based Approximate Nearest Neighbor Search
Systematic and comprehensive benchmarks for LLM systems.
Learn Python by executing code online and visualizing data structures
chat log tool, easily use your own chat data. 聊天记录工具，轻松使用自己的聊天数据
Source code for the paper: "Accelerating Graph Indexing for ANNS on Modern CPUs"
Examples of CUDA implementations by Cutlass CuTe
Hydra is a framework for elegantly configuring complex applications
Inline Python code directly in your Rust code
Python bindings for libCacheSim, designed for rapid experimentation with cache simulation models.
RAG on Everything with LEANN. Enjoy 97% storage savings while running a fast, accurate, and 100% private RAG application on your personal device.
Zero instrucment LLM and AI agent (e.g. claude code, gemini-cli) observability in eBPF
A comprehensive open-source cache trace dataset
本仓库包含对 Claude Code v1.0.33 进行逆向工程的完整研究和分析资料。包括对混淆源代码的深度技术分析、系统架构文档，以及重构 Claude Code agent 系统的实现蓝图。主要发现包括实时 Steering 机制、多 Agent 架构、智能上下文管理和工具执行管道。该项目为理解现代 AI agent 系统设计和实现提供技术参考。
Lean 4 programming language and theorem prover
An extremely fast Python package and project manager, written in Rust.
Training teachers with reinforcement learning able to make LLMs learn how to reason for test time scaling.
Safe Interactions with Foreign Languages through Omniglot
GPTuner is a manual-reading database tuning system leveraging domain knowlege automatically and extensively to enhance knob tuning process.
[CVPR 2025 Best Paper Award] VGGT: Visual Geometry Grounded Transformer
