Pinned

1. cvc5/cvc5 Public

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT 759 185

2. FMInference/FlexGen Public

   Running large language models on a single GPU for throughput-oriented scenarios.

   Python 7.6k 404

3. lm-sys/FastChat Public

   The release repo for "Vicuna: An Open Chatbot Impressing GPT-4"

   Python 4.4k 402

4. NVIDIA/FasterTransformer Public

   Transformer related optimization, including BERT, GPT

   C++ 2.6k 456