The Ballerina Programming Language
Simple, fast, safe, compiled language for developing software
New set of lightweight state-of-the-art, open foundation models
The home of the CUE language. Validate and define text-based config
The Swift Programming Language in Chinese
Emacs client/library for the language server protocol
A GUI Agent app based on UI-TARS to control your computer using AI
IntelliJ IDEA & IntelliJ Platform
Run models like Kimi-K2.5, GLM-5, DeepSeek, gpt-oss, Gemma, Qwen etc.
Powerful AI language model (MoE) optimized for efficiency/performance
Port of Facebook's LLaMA model in C/C++
The media player for language learning, with dual subtitles
A Simple and Universal Swarm Intelligence Engine
Command-line shell and scripting language built on .NET
Fast, scalable, multi-language and extensible build system
clangd language server
From Vibe Coding to Agentic Engineering
Lean 4 programming language and theorem prover
Claude Code is an agentic coding tool that lives in your terminal
Run Local LLMs on Any Device. Open-source
Kimi K2 is the large language model series developed by Moonshot AI
Build your own AI friend
Automagically synchronize subtitles with video
Fast, flexible and powerful Python data analysis toolkit
157 models, 30 providers, one command to find what runs on hardware