搜索结果：is（1859 个）

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

macOS 语音听写应用。

包含 Syncfusion Flutter UI 组件示例及使用指南的代码库。

Flutter 代码生成器，用于管理资源、字体、颜色等，告别基于字符串的 API。

GitHubDaily 是一个专注于挖掘与分享优质开源项目的资源聚合仓库。它主要解决开发者寻找高效工具难、技术视野受限的问题，核心功能是按年份和场景（如 AI 工具、开发利器、学习教程等）系统分类整理并推荐 GitHub 上前沿、实用的开源项目与技术资讯。

专为移动端打造的高性能数据库，可替代 SQLite 和传统 ORM。

CVPR 2024 论文 MagicAnimate 官方仓库：基于扩散模型的时序一致人物图像动画生成。

基于 Cairo 图形库构建的 Node.js 版 Canvas 实现。

高性能 iOS 纯文本编辑器，支持语法高亮、行号及不可见字符显示等功能。

支持自定义滑动操作和动画效果的 Flutter 列表项滑动组件库。

〔中文简介暂未生成〕 A language with lexical effect handlers and lightweight effect polymorphism

用于快速构建终端用户界面（TUI）的高性能 Rust 库。

支持一次性生成超逼真对话的 TTS（文本转语音）模型。

统一接入多个 Generative AI 服务商的简洁接口。

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

流氓接入点（Rogue Access Point）安全测试框架，用于 Wi-Fi 安全评估与钓鱼演练。

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

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

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

专为 Web3 设计的开源、灵活且高效的通用区块链数据索引框架。