#language 每日趋势报告

离线优先的隐私保护语法检查器：开源、高速、Rust 驱动

流程控制：一款面向程序员的文本编辑器

专为语言学习打造的媒体播放器，具备双语字幕、AI生成字幕、实时翻译等功能！

模块化平台（包含 MAX 和 Mojo）

用于开发可维护软件的简单、快速、安全编译型语言。在零库依赖条件下自编译时间小于1秒。支持自动将C代码转换为V代码。https://vlang.io

基于代码属性图的C/C++/Java/二进制/JavaScript/Python/Kotlin开源代码分析平台。Discord https://discord.gg/vv4MH284Hc

OpenVINO™是用于优化和部署AI推理的开源工具套件

Carbon语言主仓库：文档、设计、实现及相关工具

Julia 编程语言

核心 OCaml 系统：编译器、运行时系统和基础库

Nim 是一种静态类型编译系统编程语言。它结合了 Python、Ada 和 Modula 等成熟语言的成功概念。它的设计侧重于效率、表现力和优雅（按优先顺序）。

Dart SDK，包括虚拟机、JS与Wasm编译器、分析器、核心库等组件。

一门快速、友好、函数式的语言。

语言专家。若您的代码库语言类型识别有误，请向我们提交拉取请求！

Crystal编程语言

具有丰富IDE功能的Scala语言服务器 🚀

引用样式语言官方样式库

Agda是一种依赖类型编程语言/交互式定理证明器。

在 Vim/Neovim 中异步检查语法并修复文件，支持语言服务器协议