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

DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model

SGLang is yet another fast serving framework for large language models and vision language models.

This repo contains the source code for RULER: What’s the Real Context Size of Your Long-Context Language Models?

FlashInfer: Kernel Library for LLM Serving

DeepSeek Coder: Let the Code Write Itself

SkyPilot: Run LLMs, AI, and Batch jobs on any cloud. Get maximum savings, highest GPU availability, and managed execution—all with a simple interface.

Ongoing research training transformer language models at scale, including: BERT & GPT-2

CodeGeeX: An Open Multilingual Code Generation Model

Transformer related optimization, including BERT, GPT

Auto parallelization for large-scale neural networks

ActNN: Reducing Training Memory Footprint via 2-Bit Activation Compressed Training

Language2Pose: Natural Language Grounded Pose Forecasting

CVC5 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Boogie

Learning perturbation sets for robust machine learning

pySMT: A library for SMT formulae manipulation and solving

Mirror of Apache Maven Surefire

Efficiently recording and reproducing failures in deployed applications