deepseek-ai
13 Apps · 0 Intel
DeepSeek is a Chinese AI research lab founded in 2023 in Hangzhou and backed by High-Flyer, the quantitative hedge fund whose founder Liang Wenfeng also leads the company. It gained worldwide attention in early 2025 by demonstrating that frontier-class language models could be trained at a fraction of the compute cost assumed by Western incumbents, releasing its work as open-weight models under the MIT License.
Apps
This appears to be an AI model/framework from DeepSeek AI company.
DeepEP is a communication library for Mixture-of-Experts (MoE) and expert parallelism, providing high-throughput, low-latency all-to-all GPU kernels for MoE dispatch and combine, with support for low-precision (FP8) operations.
A high-performance CUDA library for FP8/FP4 tensor operations in large language models, featuring optimized GEMM kernels, MoE fusion, and runtime JIT compilation. Designed for NVIDIA GPUs with clean, accessible code for learning GPU optimization techniques.
DeepSeek's open-source code LLM family trained on 2T tokens with strong performance across 80+ programming languages.
Open-source reasoning model from DeepSeek trained via reinforcement learning, with chain-of-thought reasoning competitive with closed frontier models.
DeepSeek's vision-language model for OCR via "contexts optical compression" — turning long-context text problems into image understanding.
DeepSeek's mixture-of-experts code model that matches GPT-4 Turbo on code tasks — open weights, 338 programming languages, 128K context.
DeepSeek's unified multimodal model series — single architecture for both understanding (vision Q&A) and generation (text-to-image).
DeepSeek's mixture-of-experts vision-language model series for advanced multimodal understanding — strong document, OCR, and chart performance.
DeepSeek's hierarchical 3D generation model — produces detailed textured 3D assets from text prompts with multi-stage refinement.
DeepSeek's strong, economical mixture-of-experts language model — 236B params with only 21B active, competitive with GPT-4 at a fraction of the cost.
DeepSeek's open-source LLM specialized in formal theorem proving in Lean 4.
DeepSeek's theorem-proving language model that combines RL and Monte Carlo tree search to solve formal math problems in Lean.