搜索结果：v（3907 个）

Janus WebRTC 服务器。

支持 ARM、RISC-V、x86 等多种架构的多平台反汇编框架。

用于学习各类堆利用（Heap Exploitation）技术的代码库。

一款原生、用户态、多进程的图形化调试器。

便携且轻量的跨平台桌面应用开发框架。

一款交互式的终端进程查看与系统监控工具。

一个动态且快速的虚拟机。

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

Nixfmt 是由官方团队维护的 Nix 语言代码格式化工具，基于 Haskell 开发。它致力于解决 Nix 代码排版不统一的问题，核心功能是严格按照官方标准自动规范并美化 Nix 代码。支持在 NixOS、VS Code 及 Neovim 等环境与编辑器中无缝集成使用。

elastic4s 解决了官方 Java 客户端在 Scala 中语法冗长、类型体验不佳的问题。它是专为 Scala 打造的响应式、非阻塞 Elasticsearch HTTP 客户端，提供类型安全且简洁的 DSL；原生支持 Scala 集合、Future 与常见 JSON 库（如 Circe、PlayJson），可在编译期捕获错误并安全复用请求。

clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能：强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计，及类型安全的多时钟域支持。

Gluten 是一个为 Spark SQL 提速的中间层插件。它复用 Spark 的分布式控制流，将 JVM 中计算密集的数据处理卸载给 ClickHouse、Velox 等高性能原生引擎。通过 Substrait 转换执行计划并结合 Arrow 列存格式，无需改动现有 SQL 或 DataFrame API 即可实现原生向量化加速。

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

Binding.scala 是一个支持 JVM 和 Scala.js 的响应式数据绑定库。它主要解决前端与 GUI 开发中的视图与数据同步问题。核心功能是提供精确的响应式数据绑定与自动生命周期管理，无需虚拟 DOM 即可高效更新视图，同时支持静态类型检查与 HTML 字面量语法。

MLeap 专注于简化机器学习流水线的生产部署。它支持将 Spark 或 Scikit-learn 训练的流水线导出为便携格式（JSON/Protobuf），并直接在轻量级 JVM 运行时上执行，完全脱离对 Spark、sklearn 等重型环境的依赖，实现高性能、跨平台的快速推理。

Neovim 的多光标插件。

PureConfig 是一个 Scala 配置加载库。它解决了手动编写繁琐且易错的配置解析样板代码的问题。核心功能是在编译期自动将 HOCON、Java `.properties` 或 JSON 格式的配置文件，映射转化为原生 Scala 的 case class、sealed trait 等类型，同时支持自定义类型扩展。

fossa-cli 是一款开箱即用的跨语言依赖分析工具，解决项目中第三方组件难以盘点和排查的问题。它支持 20 多种构建系统，能自动检测代码库依赖，并结合 FOSSA 平台提供开源许可证合规扫描、安全漏洞排查及归属报告生成。

适用于 Neovim 内置 LSP 客户端的 nvim-cmp 补全源。

自由开源的媒体系统服务端后端与 API，用于搭建和管理多媒体服务。