搜索结果：at（1086 个）

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

多功能清理工具，可查找重复项、空文件夹、相似图片等。

Scalatra 是一款受 Sinatra 启发的极简、高性能 Scala 异步 Web 框架。它主要解决快速构建轻量级 Web 应用与接口的问题，核心提供简单直观的路由定义语法，支持 javax 与 jakarta 规范，并可配合 Jetty、Swagger 及 JSON 扩展使用。

Dart 多包管理工具，支持自动化版本控制与发布，适配 IntelliJ 和 VS Code。

NetLogo 是一个基于 Scala 开发的多主体建模（ABM）仿真平台。它主要面向学生、教师和科研人员，用于模拟和探索复杂系统。平台核心通过海龟（turtles）、网格（patches）和链接（links）等基本要素，支持低门槛地构建、运行与可视化复杂的交互式主体模型。

〔中文简介暂未生成〕 :leaves: Non-blocking, Reactive MongoDB Driver for Scala

将 Node.js 应用程序打包为单个独立可执行文件的工具。

跨平台的 Git 可视化交互工具，提供更简单直观的 Git 使用体验。

Lamdu 是一个用 Haskell 开发的下一代实时编程环境（结构化/投影编辑器）。它解决了传统文本代码编写易出错、反馈慢的问题，提供智能类型补全、自动括号处理，并在编写时实时显示每个子表达式的求值结果，且无需手动保存，极大提升了编程交互体验。

nscala-time 是一个基于 scala-time 分支开发的 Scala 语言时间库。它主要用于封装 Java 的 Joda Time 库，通过提供更加符合 Scala 风格的 API、丰富的时间算术操作及隐式转换，帮助 Scala 开发者更便捷地处理日期与时间。

用于制作数学科普与讲解视频的动画引擎。

基于 Git 的轻量级 Wiki 系统，提供本地前端界面，支持多种标记语言和内容格式。

类似按键精灵的鼠标键盘录制与自动化工具，可模拟点击和输入操作

数字逻辑设计与电路仿真工具。

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

一款基于标记语言的排版系统，功能强大且简单易学。

一次编写多端适配的 Agent 技能库，支持 Claude Code、Cursor 等工具。

免费本地插件，通过沙盒与 SQLite FTS5 检索将工具输出移出上下文，减少 99% 的 Token 占用。

用于自动化线上赚钱流程的开源工具。

将本地 AI 编程工具接入飞书、钉钉、微信等平台的连接桥。