搜索结果：r（1757 个）

面向 React 的性能优化编译器。

为 Kodluyoruz 制作的前端 101 视频教程配套代码仓库。

ZIO Quill 是专为 Scala 打造的编译期语言集成查询（LINQ）库。它解决手写 SQL 繁琐、易出错且有运行时损耗的问题。通过引用 DSL（QDSL）与简单样例类映射数据库，能在编译期直接生成 SQL/CQL 并校验合法性，兼具类型安全与接近原生驱动的高性能。

Sangria 是一个用 Scala 编写的 GraphQL 库，帮助开发者在 Scala 项目中快速构建符合规范的 GraphQL API。它支持定义 Schema、解析并执行查询，以及配合 circe 等库进行 JSON 序列化，可与 Apollo、Relay、GraphiQL 等工具开箱即用。

使用纯 Rust 从零编写的开源照片编辑器。

涵盖 Python、React、Git、Java 等多领域的 LinkedIn 技能评估测验参考答案合集。

VLESS/Trojan/Warp Worker 订阅 GUI 面板，含私有 DoH、链式代理与 DNS 路由配置。

基于 Android 调试 API 与百度地图的虚拟定位工具，支持自由移动的摇杆操作。

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

**miso** 是一个基于 Haskell 的前端与移动端框架，受 Elm 和 React 启发，让开发者能用纯函数式语言编写 UI。 核心功能包括： 1. **MVU 架构与虚拟 DOM**：支持递归 diff 和高效更新。 2. **现代前端特性**：支持组件、生命周期、类型安全路由与事件委托。 3. **多目标编译**：通过 GHC 编译为 JS 或 WASM，支持 WASM 热重载。

Giter8 是一个基于 Scala 开发的命令行脚手架工具。它主要解决项目初始化繁琐的问题，核心功能是直接拉取发布在 GitHub 或其他 Git 仓库中的模板，自动生成对应的项目目录与文件，常作为 sbt 插件用于快速搭建 Scala 等项目工程。

一款全新类型的 Shell。

一款兼容 Git 的版本控制系统（VCS），兼具简洁操作与强大功能。

面向各类 IDE 和代码编辑器的 Rust 语言编译器前端实现。

高性能网盘资源搜索 API 服务，支持 TG 频道及插件并发搜索、智能排序与网盘分类，支持 Docker 部署。

专为安全研究设计的 HTTP 工具包。

Terraform 的 AWS Provider 插件，支持通过代码自动化管理 AWS 云资源。

hledger 是一款用 Haskell 编写的纯文本复式记账工具，解决财务及时间记录难以版本化和跨平台管理的问题。它以纯文本格式存储数据，支持多币种、投资与发票追踪；提供 CLI、TUI 和 Web 界面，兼具极速处理性能与精准报表生成能力。

Scala.js 是一个将 Scala 语言编译为 JavaScript 的编译器。它旨在让开发者能够直接使用类型安全且功能强大的 Scala 语言编写前端或全栈应用，并将其转换为标准的 JavaScript 代码，从而在浏览器或 Node.js 环境中流畅运行。

一款注重兼容性与高扩展性的现代富文本（WYSIWYG）Web 编辑器。