#language 每日趋势报告

21堂课带你入门生成式AI开发

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

可视化构建AI智能体

学习如何开发、部署并迭代生产级机器学习应用。

Kotlin编程语言

Nvim LSP 快速入门配置

来自未来的友好编程语言

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

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

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

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

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

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

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

在Hetzner Cloud上创建生产级Kubernetes集群最简单快捷的方式

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

Plutus语言实现及相关工具

Dart语言设计

为Julia可视化和数据分析提供强大便捷的工具

Julia交互式数据可视化与绘图

面向百余款z80系列机器的开发套件——包含C编译器、汇编器、链接器及函数库。

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

vim-lsp语言服务器的自动配置

Crystal编程语言