搜索结果：r（5888 个）
按分类缩小范围
YuyanIme
综合 42
基于 Rime 定制开发，支持九键、全拼、双拼等多种模式的中文输入法。
scala-steward
综合 42
Scala Steward 是一个自动化依赖更新机器人，解决手动排查和升级依赖耗时费力的问题。它能定期检查项目依赖与构建插件的版本更新，并自动提交 PR。支持 sbt、Maven、Mill、Scala CLI 等构建工具及 Giter8 模板。
copilot
综合 42
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。
hoogle
综合 42
Hoogle 是一款专为 Haskell 开发者打造的 API 搜索引擎。它主要解决查找函数时不记得名字的痛点，核心功能是不仅支持按函数名搜索，还能直接通过“近似类型签名”（如 `a -> a`）检索标准库及 Stackage 包，支持网页、本地命令行或 API 调用。
scalachess
综合 42
scalachess 是知名国际象棋网站 lichess.org 背后的核心国际象棋逻辑库。基于 Scala 3 开发，它利用位棋盘（bitboard）数据结构，以纯函数式、完全不可变且无副作用的方式处理国际象棋规则与走法验证，为开发者提供高性能、可靠的棋局核心逻辑支持。
VPet
综合 42
开源虚拟桌宠模拟器，支持内置到任何 WPF 应用程序中。
reactive
综合 42
面向 .NET 的反应式扩展（Reactive Extensions）库。
CAP
综合 42
基于最终一致性的微服务分布式事务解决方案，同时是支持 Outbox 模式的 EventBus。
quartznet
综合 42
.NET 平台下的开源企业级作业调度框架（Quartz Enterprise Scheduler）。
FluentCleaner
综合 42
透明、社区驱动的 Windows 平台 CCleaner 替代工具。
MessagePack-CSharp
综合 42
适用于 C#（.NET、Unity 等）的极速 MessagePack 序列化库。
Harmony
综合 42
用于在运行时对 .NET 和 Mono 方法进行补丁、替换和修饰的库。
nokogiri
综合 42
方便在 Ruby 中轻松解析和处理 XML 与 HTML 的库。
ios-webkit-debug-proxy
综合 42
适用于 iOS 设备的 DevTools 代理（Chrome 远程调试协议），支持 Safari 远程 Web 检查器。
android-youtube-player
综合 42
稳定、高度可定制的 Android 和 Chromecast 专属 YouTube 播放器库。
KuiklyUI
综合 42
腾讯 TDS 开源的 Kotlin Multiplatform UI 框架，高性能，一套代码支持六端并具备动态下发能力。
keyguard-app
综合 42
支持 Bitwarden 和 KeePass（KDBX）的密码管理器，具备自动填充、通行密钥、离线运行及泄露检测等功能。
android-maps-utils
综合 42
Maps SDK for Android 的实用工具库。
echo
综合 42
一个纯粹的音乐播放器。
Parchment
综合 42
基于 Kotlin 2.0 和 Jetpack Compose 构建的 Android PDF 阅读器，主打暖纸质感与手势交互。