搜索结果：r（841 个）

gps-overlay-on-video 是一个用 Scala 开发的桌面工具，主要解决骑行等运动视频缺少实时数据展示的问题。它可以将 GPS 设备（如 Garmin、手机 Strava）记录的遥测数据合成并叠加到视频上，实时显示车速、海拔高度、爬坡坡度及心率区间等仪表盘信息。

适用于 Chrome、Firefox 和 Thunderbird 的扩展，支持用 Markdown 编写并在发送前渲染邮件。

面向 Claude Code 与 AI Agent 的营销技能集，涵盖 CRO、文案、SEO、数据分析和增长工程。

简洁优雅的 macOS 词典翻译工具，开箱即用，支持离线 OCR 识别及国内外主流词典与大模型翻译服务。

用于自动化控制 iOS 模拟器和真机的灵活 CLI 工具。

Brick 是一个用 Haskell 编写的终端用户界面（TUI）开发库。它解决了传统 TUI 编写控件和布局繁琐的问题，提供声明式 API。开发者只需用纯函数和布局组合器描述界面绘制，并通过状态转换函数处理事件。基于 Vty 构建，支持 Unix 和 Windows 系统。

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

一款真正独立的开源 Web 浏览器。

LED 徽章控制应用 Badge Magic，支持 iOS、Mac 和 Android 端。

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

数据库迁移工具，提供 CLI 命令行工具与 Golang 代码库支持。

支持 OpenWrt、Debian、Ubuntu、Docker 的一体化透明代理工具。

精选 React Native 组件、新闻、开发工具与学习资料合集。

适用于 Ubuntu、Debian、CentOS 等 Linux 系统的 OpenVPN 一键安装脚本。

基于苹果 Find My 查找网络的蓝牙设备追踪框架，自制专属 AirTag。

积木报表：涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。

Flutter 桌面端窗口管理插件，全面支持控制窗口大小、位置、外观、关闭行为及事件监听。

基于 Spring Boot + MyBatis 实现的电商系统，包含前台商城与后台管理，支持 Docker 部署。

Scribe 是一款专为 Scala 生态从零构建的超高性能日志库。它解决了传统日志依赖 Java 框架封装所带来的性能损耗及跨平台受限问题。核心亮点在于无需配置文件、支持纯代码化配置，利用宏在编译期深度优化性能，且原生支持 JVM、Scala.js 及 Scala Native 跨平台运行，同时兼容 SLF4J。

开源 Flutter 习惯追踪应用，支持智能评分、WebDAV 同步与本地优先存储，覆盖主流桌面和移动平台。