搜索结果：fp（6 个）

语义分割模型库，内置 500 多种基于卷积和 Transformer 的预训练骨干网络。

Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。

doobie 是 Typelevel 旗下面向 Scala 的纯函数式 JDBC 访问层。它主要解决 Scala 开发者在进行数据库交互时的函数式编程集成问题，通过提供纯函数式的方式封装 JDBC 操作，让数据库访问更加安全、类型可控且契合函数式编程规范。

〔中文简介暂未生成〕 FFmpeg实现视频裁剪、水印、转码、编解码、转Gif动图；FFmpeg本地推流、H264与RTMP实时推流直播；OpenGL滤镜特效，视频拍摄。音视频学习路线，音视频知识总结、流媒体协议

Apple 模拟器无头控制工具，支持手势、60fps 推流及多设备集群管理。

Game Bub 是一款开源的 FPGA 复古游戏掌机与开发平台，解决传统软件模拟器的延迟与兼容性痛点。它采用 Xilinx FPGA 加 ESP32-S3 架构，支持插真实 GB/GBC/GBA 卡带或从 microSD 卡加载 ROM 游玩，具备联机线联机、底座视频输出及震动/陀螺仪等外设支持，软硬件完全开源可扩展。