A high-throughput and memory-efficient inference and serving engine for LLMs

TLS and HTTP(s) client library for libuv

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

DeepSeek-VL: Towards Real-World Vision-Language Understanding

DeepSeek-VL2: Mixture-of-Experts Vision-Language Models for Advanced Multimodal Understanding

DeepSeek LLM: Let there be answers

Integrate the DeepSeek API into popular software

Fully open reproduction of DeepSeek-R1

DeepSeek Coder: Let the Code Write Itself

Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

An API for caching and execution of actions on a remote system.

Dafny is a verification-aware programming language

GraalPy – A high-performance embeddable Python 3 runtime for Java

A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)

Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations

A Runner and API for Layered Java Applications

Virtual Security Module

Systems performance telemetry

Simple profiling for Go

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

Purely native C++ cross-platform GUI framework for Android and iOS development. https://www.boden.io

Animation engine for explanatory math videos

Moved to GitLab: https://gitlab.com/sardana-org/sardana

Moved to https://gitlab.com/taurus-org/taurus

🌘 Darktile is an experimental/abandoned GPU rendered terminal emulator designed for tiling window managers.

MemConn is an in-memory network stack for Go.