搜索结果：r（854 个）

jsoniter-scala 是一个高性能的 Scala JSON 解析与序列化库。它通过 Scala 宏在编译期生成安全且极速的 JSON 编解码器（codecs），避免了运行时的反射开销；同时还提供 circe booster 加速模块，并支持 JVM、Scala.js 及 Scala Native 等多平台。

〔中文简介暂未生成〕 Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for Scala

支持在 Web、Android、iOS 及 React Native 上原生渲染 After Effects 动画的库。

Stability AI 官方推出的生成式 AI 基础模型仓库。

专为 Android 平台打造的 RxJava 扩展绑定库。

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

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

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

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

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

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

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 部署。