搜索结果：v（1246 个）

Flutter 文件选择插件，兼容移动端、Web 及桌面端，支持 Flutter Go。

高速递归目录搜索工具，支持正则表达式并自动遵循 .gitignore 规则。

一款后现代风格的模态终端文本编辑器。

直接在终端中运行完整的 macOS 系统。

〔中文简介暂未生成〕 FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility

BiliTV 是一款基于 Flutter 开发的第三方哔哩哔哩 Android TV 客户端，主要解决大屏电视端的使用与遥控适配问题。 核心功能包括： 1. **电视端优化**：支持遥控器焦点导航与快捷操作。 2. **播放体验**：支持 4K 及多种硬解编码、实时弹幕、DASH 视频流与进度预览。 3. **账号与浏览**：支持扫码登录、动态、历史记录、分区管理与搜索。 4. **实用插件**：内置空降跳过广告、视频及弹幕关键词屏蔽功能。

一键将任意网页打包为轻量级桌面应用的工具，支持 macOS、Windows 和 Linux。

scala-logging 是一个封装了 SLF4J 的高性能 Scala 日志库。它利用 Scala 宏（Macros）在编译期自动生成日志级别检查代码，避免了手动写 `isDebugEnabled` 的繁琐和高昂的字符串插值开销；同时提供 `LazyLogging` 等特质，开箱即用、便捷高效。

专注于安全、并发与性能，赋能开发者构建可靠高效软件的系统编程语言。

致力于让视频扩散模型（video diffusion）更具实用性的项目。

汇集各主流编程语言代码风格、最佳实践与编码规范的精选资源。

用于将 Facebook 平台集成到你的 iOS 和 tvOS 应用中。

〔中文简介暂未生成〕 Official upstream development repository for Cabal and cabal-install

可以在 Web 浏览器中直接共享和使用终端的工具。

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

跨平台 Flutter 实时定位插件，支持性能与功耗优化设置。

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

基于 Tauri 构建的现代化跨平台桌面 GUI 客户端，支持 Windows、macOS 和 Linux。

助力开发者构建可靠且高效智能合约的工具与语言。

在 Apple Silicon 架构的 Mac 上运行虚拟 iPhone 的命令行工具。