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

Staging repo for development of native port of TypeScript

Dolt – Git for Data

算法模板，最科学的刷题方式，最快速的刷题路径，你值得拥有~

eBPF-based Linux high-performance transparent proxy solution.

Block spying and tracking on Windows

Fluid, elastic data abstraction and acceleration for BigData/AI applications in cloud. (Project under CNCF)

Vald. A Highly Scalable Distributed Vector Search Engine

Aqueduct is no longer being maintained. Aqueduct allows you to run LLM and ML workloads on any cloud infrastructure.

A first-order concurrent automated theorem prover