#language 每日趋势报告

《深入理解AI Agent：设计原理与工程实践》（李博杰着）开源主仓库：全书正文、编译版PDF与按章安装代码

《深入理解AI Agent：设计原理与工程实践》（李博杰着）开源主仓库：全书正文、编译版PDF与按章安装代码

Go 编程语言

Kotlin编程语言

🐙 提示工程指南、论文、讲座、笔记本及资源

源自Lua的快速、小巧、安全、渐进式嵌入式脚本语言

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

Crystal编程语言

Nvim LSP 快速入门配置

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

Kimai是一款基于Web的多用户时间追踪应用，适用于自由职业者、企业、组织等各类用户群体。用户可记录工作时间、生成报表、创建发票并实现更多功能。SaaS版本请访问https://www.kimai.cloud

Ruby编程语言

专为 Zig 语言设计的语言服务器，为开发者提供自动补全和跳转定义等功能

通用编程语言及工具链，用于维护健壮、高效且可复用的软件。

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

Solidity：智能合约编程语言

Dart语言设计

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

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

通过语言服务器协议提供官方Haskell集成开发环境支持

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