搜索结果：im（94 个）

Hydra 是基于 Haskell 开发的 Cardano 二层扩容方案，旨在降低交易延迟与成本并提升吞吐量。它实现了 Hydra Head 协议，核心提供兼容主网的 `hydra-node` 节点、直连 Cardano 节点能力、WebSocket/HTTP API 以及终端交互界面 `hydra-tui`。

使用 Go 开发的高速、简洁的视频下载库和 CLI 命令行工具。

Chipyard 是基于 Chisel 的开源敏捷 RISC-V SoC 设计框架。它整合了顺序核（Rocket）、乱序核（BOOM）、向量单元和加速器（Gemmini、NVDLA 等），并集成软件 RTL 仿真、FPGA 加速仿真及自动 VLSI 流程，帮开发者快速构建并验证全功能定制芯片。

实时零代码、强安全 ORM 库，后端接口与文档免开发，前端可灵活定制返回 JSON。

为开发者打造标准化开发工作流，规范大规模软件开发流程，提升代码质量与一致性。

浏览器端高性能五彩纸屑撒花动画库。

Java 核心 NLP 工具套件，支持分词、断句、NER、句法分析、指代消解及情感分析等。

3D 图形与纹理创作工具。

〔中文简介暂未生成〕 A minimal, idiomatic Scala interface for HTTP

〔中文简介暂未生成〕 Lift Framework

Magnolia 是一个用于 Scala 的类型类（Typeclass）自动派生工具。它解决了手动为复杂数据类型编写重复模板代码的痛点。核心功能是通过轻量级语法，为样例类（case classes）和枚举/密封特质（sealed traits）自动生成类型类实例，开箱即用支持递归数据结构且编译速度极快。

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

quiver-dart 是 Dart 的实用工具库集合，旨在弥补官方标准库的不足。它提供了异步扩展（如倒计时、节拍器、流路由）、多类型缓存系统、参数与状态断言校验，以及高级集合类（如双向映射 BiMap、LruMap、Multimap 和平衡二叉树 TreeSet）等功能，让日常开发更便捷。

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

〔中文简介暂未生成〕 Lightweight real-time big data streaming engine over Apache Pekko

具备自我改进能力的 RLM Agent，适用于编程工作流与长时间自主运行任务。

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

纯 JavaScript 实现的图像调色板提取工具，支持浏览器和 Node.js 环境。

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

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