搜索结果：is（166 个）

基于 Redis 的 Node.js 分布式任务队列与消息处理库。

〔中文简介暂未生成〕 A tidy SQL-based DB access library for Scala developers. This library naturally wraps JDBC APIs and provides you easy-to-use APIs.

基于 LLM 的知识库问答平台，提供数据处理、RAG 检索及可视化 AI 工作流编排。

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

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

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

Alpakka 是面向 Java 和 Scala 的响应式企业集成库。它基于 Akka Streams 和 Reactive Streams 构建，专为解决微服务、云环境与异构旧系统之间的数据集成问题。其核心功能是提供原生支持背压（Backpressure）的流式集成管道与 DSL，防止数据交互时系统过载。

开源传统 Roguelike 地牢冒险游戏，拥有随机关卡、敌人和丰富道具。

〔中文简介暂未生成〕 Scalate is a Scala based template engine which supports HAML, Mustache and JSP, Erb and Velocity style syntaxes.

开源 Agent 视频制作系统，内含 12 条制作管线与 100+ 工具，将 AI 编程助手变为完整视频制作工具。

香山（XiangShan）是一个基于 Chisel/Scala 的开源高性能 RISC-V 处理器项目。它通过敏捷开发方法，致力于解决高性能开源 RISC-V 芯片设计难题，提供包括昆明湖架构在内的微结构实现，并配套设计、功能验证与性能评估等全套工具流程。

Rudder 是一个用 Scala 开发的基础设施配置与安全自动化平台。它主要解决云端、混合或本地多环境（Linux/Windows）的管理难题，提供自动资产盘点、补丁与漏洞管理、系统加固、安全合规审计，以及通过可视化或 YAML 编写的自动化配置管理。

面向 AI Agent 的快速自动化浏览器，零配置且可在不打扰用户的前提下共享登录态。

Alpakka Kafka 是面向 Java 和 Scala 的 Kafka 连接器。它主要解决 Kafka 与响应式流（Reactive Streams）系统的集成问题，通过将 Apache Kafka 无缝接入 Akka Streams，提供原生支持背压（Backpressure）的流式数据处理能力。

〔中文简介暂未生成〕 FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility

scala-logging 是一个封装了 SLF4J 的高性能 Scala 日志库。它利用 Scala 宏（Macros）在编译期自动生成日志级别检查代码，避免了手动写 `isDebugEnabled` 的繁琐和高昂的字符串插值开销；同时提供 `LazyLogging` 等特质，开箱即用、便捷高效。

用于构建、部署和监控 AI Agent 与工作流的协作工作区平台。

开源轻量级分布式任务调度平台与框架。

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

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