Lists (1)
Starred repositories
Seed1.5-VL, a vision-language foundation model designed to advance general-purpose multimodal understanding and reasoning, achieving state-of-the-art performance on 38 out of 60 public benchmarks.
Lean 4 programming language and theorem prover
AKShare is an elegant and simple financial data interface library for Python, built for human beings! 开源财经数据接口库
A fast and flexible simulation infrastructure for exploring general-purpose processing-in-memory (PIM) architectures. Ramulator-PIM combines a widely-used simulator for out-of-order and in-order pr…
A modular, primitive-first, python-first PyTorch library for Reinforcement Learning.
DeerFlow is a community-driven Deep Research framework, combining language models with tools like web search, crawling, and Python execution, while contributing back to the open-source community.
MiMo: Unlocking the Reasoning Potential of Language Model – From Pretraining to Posttraining
Minimalistic 4D-parallelism distributed training framework for education purpose
PyTorch native quantization and sparsity for training and inference
Lightweight coding agent that runs in your terminal
Technical report of Kimina-Prover Preview.
Distributed Triton for Parallel Systems
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
A Datacenter Scale Distributed Inference Serving Framework
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
FlashMLA: Efficient MLA decoding kernels