搜索结果：language（39 个）

Unison 是一门静态类型的现代函数式编程语言，主要解决传统开发中漫长的编译等待和繁琐的代码合并冲突问题。其核心是“内容寻址代码”机制，通过实现哈希而非名称来定位函数，并将 AST 存入数据库，从而实现近乎零等待的增量编译、测试结果完美缓存以及无冲突的语义级重命名。

专为初级开发者准备的计算机基础知识与技术面试指南百科。

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

跨语言分布式事务框架，支持 Workflow、SAGA、TCC、XA 及二阶段消息等模式。

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

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

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

经典图书《Basic 计算机游戏》重制版，包含多种内存安全脚本语言的高质量代码示例。

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

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

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

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

全面的 C/C++ 技术面试基础知识与求职经验总结。

原生多模型数据库，支持文档、图和键值模型，提供类 SQL 查询语言与 JavaScript 扩展。

面向 iOS 27.x 的 MobileGestalt 编辑器，支持地区代码调整、设备预设、备份及 7 种语言。

运行于页面的 JavaScript GUI Agent，支持用自然语言直接操控 Web 界面。

Less 动态样式表语言的官方 JavaScript 实现。

完全本地运行的开源 AI 语音工具，可替代 ElevenLabs，支持 646 种语言的声音克隆、视频配音、听写与语音转录。

声明式二进制解析语言，可生成 C++、Go、Java、Python 等多种语言的解析器。