搜索结果：fp（5 个）
按分类缩小范围
语义分割模型库，内置 500 多种基于卷积和 Transformer 的预训练骨干网络。
ogma
综合 63
Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。
doobie
综合 59
doobie 是 Typelevel 旗下面向 Scala 的纯函数式 JDBC 访问层。它主要解决 Scala 开发者在进行数据库交互时的函数式编程集成问题，通过提供纯函数式的方式封装 JDBC 操作，让数据库访问更加安全、类型可控且契合函数式编程规范。
baguette
综合 53
Apple 模拟器无头控制工具，支持手势、60fps 推流及多设备集群管理。
gamebub
综合 36
Game Bub 是一款开源的 FPGA 复古游戏掌机与开发平台，解决传统软件模拟器的延迟与兼容性痛点。它采用 Xilinx FPGA 加 ESP32-S3 架构，支持插真实 GB/GBC/GBA 卡带或从 microSD 卡加载 ROM 游玩，具备联机线联机、底座视频输出及震动/陀螺仪等外设支持，软硬件完全开源可扩展。