搜索结果：language（242 个）

Clojure 编程语言。

基于 GraalVM 构建的高性能 Ruby 编程语言实现。

Neovim 的异步 Linter 插件，用于补充内置的 LSP 支持。

〔中文简介暂未生成〕 Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for Scala

clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能：强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计，及类型安全的多时钟域支持。

Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器，用 Haskell 编写。它解决了密码学规范难以验证与执行的问题，具备完全可执行性；支持通过随机向量测试算法，并能调用 Z3 等 SMT 求解器进行形式化证明，确保算法的正确性。

Rust 编程语言官方教程与参考书。

Shopify 出品的一款开箱即用型 Ruby 语言服务器（LSP）。

Twirl 是 Play 框架默认的模板引擎，也可在 Scala 或 Java 项目中脱离 Play 独立使用。它主要用于高效构建 Web 页面和文本输出，核心功能是将 HTML、JS、XML 或 TXT 等模板文件自动编译生成标准的 Scala 源代码，并提供 sbt 与 Maven 插件支持无缝集成构建。

一款提供代码补全与分析功能的 Ruby 语言服务器（LSP）。

针对 Swift 及 C 语言族系的 Language Server Protocol（LSP）实现。

精选 iOS 生态资源合集，涵盖优质 Swift 与 Objective-C 开源项目。

30 天 Python 编程学习挑战指南，提供循序渐进的自学步骤，可根据个人节奏完成。

Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题，在无需额外类型注解的情况下，实现可预测的、基于类型的内存管理。项目支持完整 λ 演算，可编译为 LLVM IR 和原生二进制，并内置 LSP、代码格式化与快速原型开发支持。

适用于 Visual Studio Code 的 Kotlin 语言服务器（LSP）与配套插件。

〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.

项目已迁移至 Codeberg。

仿苹果风格的 Flutter UI 套件，支持着色器模糊、果冻动画与动态光效。

为 Java 语言注入强大生产力的插件库，通过注解大幅减少样板代码。

Kronos：专为金融市场语言设计的金融领域基座大模型。