搜索结果：ava（292 个）

支持多平台的网盘客户端加密工具，保障云存储隐私与数据安全。

面向 Android 和 JVM 的类型安全 HTTP 客户端。

程序员鱼皮的 AI 资源大全与零基础教程，涵盖主流大模型玩法、Prompt 技巧及 AI 编程实战。

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

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

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

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

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

专为响应式网页设计打造的定制浏览器，Web 开发者必备工具。

Apache Pekko 是基于 Actor 模型的开源框架（源自 Akka 2.6.x 分支），旨在解决 Java/Scala 开发者构建高并发、分布式及弹性消息驱动应用的复杂难题。其核心通过高级并发抽象，提供持久化、流处理（Streams）和 HTTP 等配套库，支持构建高可用的分布式系统。

sbt-native-packager 是一个 sbt 插件，解决 Scala/Java 应用打包及系统部署繁琐的问题。它能直接将应用构建为原生格式，支持输出 zip/tar 压缩包、Debian/RPM 安装包、macOS DMG、Windows MSI 以及 Docker 和 GraalVM 原生镜像；同时提供开箱即用的启动脚本，并支持 Systemd 等服务管理配置。

将 Go 语言编译为 JavaScript 的编译器，支持在浏览器中运行 Go 代码。

用于将 GitHub Copilot Agent 集成到应用和服务中的多平台 SDK

可动态生成并实时展示 GitHub 数据统计卡片的 Readme 美化工具。

Cursor AI 编辑器配置集合，通过自定义规则和行为提升使用体验。

支持 Windows、Mac 和 Linux 的聚合型桌面音乐播放器，多平台曲库一网打尽。

redis4cats 是一个 Scala 版的 Redis 客户端，基于 Cats Effect、Fs2 和 Java 异步客户端 Lettuce 构建。它解决了在函数式编程中安全、异步操作 Redis 的需求，提供纯函数式的 Effects API 与 Streams 流式处理支持，适用于生产环境。

执行速度极快的现代化 Web 资源打包与构建工具。

让 Git hooks 配置与管理变得极为简单的轻量级工具。

Flink 学习资源整理，涵盖基础入门、原理调优、源码解析及实战项目案例。