搜索结果：language（34 个）

用于数据转换的现代管道式语言，简洁强大，旨在作为 SQL 的现代化替代品。

scala-cli 是一个用于 Scala 语言的命令行交互工具。它简化了非多模块项目的构建流程，支持直接编译、运行、测试和打包 Scala 代码。从 Scala 3.5.0 起，它已正式成为官方的 `scala` 命令运行器，开箱即用。

Carp 是一门专为游戏、音频合成和可视化等实时高性能场景设计的静态类型 Lisp 语言。它没有垃圾回收器和虚拟机，通过所有权追踪实现自动且确定性的内存管理，避免隐藏的性能开销。同时支持静态类型推导、Lisp 宏、REPL 交互，并能直接与现有 C 代码集成。

haskell-language-server 是官方推出的 Haskell 语言服务器实现。它基于语言服务器协议（LSP），为现代编辑器和 IDE 提供官方级的 Haskell 智能开发支持，能无缝配合 Cabal、Stack 及多种 GHC 版本，大幅提升 Haskell 的编码与工具集成体验。

〔中文简介暂未生成〕 Your favorite language gets closer to bare metal.

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

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

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

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

极简的 IT 自动化平台，涵盖代码部署、系统维护与网络配置的全流程自动化。

终端里的 Agentic 编程工具，能理解代码库、执行日常任务、解释复杂代码并处理 Git 工作流。

〔中文简介暂未生成〕 Code Property Graph: specification, query language, and utilities

fossa-cli 是一款开箱即用的跨语言依赖分析工具，解决项目中第三方组件难以盘点和排查的问题。它支持 20 多种构建系统，能自动检测代码库依赖，并结合 FOSSA 平台提供开源许可证合规扫描、安全漏洞排查及归属报告生成。

基于新一代 Kaldi 与 ONNX Runtime 的离线语音工具包，支持语音识别、TTS、声纹与降噪等多端部署。