language

一个采用类Intel语法的跨平台x86汇编器。

🦀 强化 Neovim 中的 Rust 开发体验！基于 rust-tools.nvim 深度定制的分支版本

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

Dart语言设计

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

使用PyTorch从零开始逐步实现一个推理大语言模型

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

💥💻💥 一种数据并行的函数式编程语言

多语言预配置代码片段集合

一本关于 Zig 编程语言的开放式技术入门书籍 📚📖

Xash3D FWGS引擎

数学优化建模语言（涵盖线性、混合整数、锥规划、半定规划及非线性问题）

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

动手学Ollama，在CPU上玩转大模型部署，在线阅读地址：https://datawhalechina.github.io/handy-ollama/

Java语言服务器

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

使用Liquid AI基础模型与LEAP SDK构建的示例、端到端教程及应用

Elixir语言服务器协议的官方实现

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

🌵 LSP 符号与标签的查看器和查找器

面向Elixir的前端无关IDE智能服务器。实现"语言服务器协议"标准，并通过"调试适配器协议"提供调试器支持

基于GitHub代码空间与开发容器的Overleaf完整替代方案，集成VSCode+网页端+Git协同+Copilot+语法拼写检查+实时协作功能

Plutus语言实现及相关工具

功能完备的移动端沉浸式语言学习套件