搜索结果：fp（7 个）

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

纯 C99 实现的 Kimi K3 推理，无需 GPU、BLAS 或任何框架，单 CPU 和 8.24 GB 内存即可运行。

Izumi 是提升 Scala 开发效率的独立工具与框架生态。它主要解决纯函数式 Scala（支持 Cats Effect、ZIO 等）在工程化中的繁琐痛点，核心提供编译期安全的依赖注入（distage）、跨测试共享资源的测试套件、基于字符串插值的结构化日志（LogStage）以及 Docker 测试集成等实用功能。

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

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

用于配置 Windows 过滤平台（WFP）的简易工具，可控制电脑的网络活动。

用于监控 FPS、温度、CPU/GPU 负载等的 Vulkan 和 OpenGL 性能覆盖层。