Dr. TLA+ series - learn an algorithm and protocol, study a specification

The automatic DBMS configuration tool

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

[WIP]TLA+教程中文翻译

A collection of TLA⁺ specifications of varying complexities

Large Language Model based Multi-Agents: A Survey of Progress and Challenges

A collection of LLM papers, blogs, and projects, with a focus on OpenAI o1 and reasoning techniques.

📚 PUA 书籍

Development repository for the Triton language and compiler

Code for the paper "Language Models are Unsupervised Multitask Learners"

📰 Must-read papers and blogs on LLM based Long Context Modeling 🔥

LLM inference in C/C++

Awesome LLM compression research papers and tools.

Cmd line tool to add a topic to your github repo, defaults to hacktoberfest

A model serving framework for various research and production scenarios. Seamlessly built upon the PyTorch and HuggingFace ecosystem.

"Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)

📰 Must-read papers and blogs on Speculative Decoding ⚡️

深度学习经典、新论文逐段精读

Public repo for HF blog posts

Fast inference from large lauguage models via speculative decoding

A language for constraint-guided and efficient LLM programming.

Code for loralib, an implementation of "LoRA: Low-Rank Adaptation of Large Language Models"

NaturalCC: An Open-Source Toolkit for Code Intelligence

scikit-learn: machine learning in Python

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

阿里云数据库内核月报分类整理（定时更新） http://mysql.taobao.org/monthly/

Since the emergence of chatGPT in 2022, the acceleration of Large Language Model has become increasingly important. Here is a list of papers on accelerating LLMs, currently focusing mainly on infer…