nasa/fprime
摘要
F´（F Prime）是一个由NASA/JPL开发的开源、组件驱动框架，用于快速开发和部署航天及其他嵌入式软件应用，支持包括CubeSat在内的多种平台。
F´——一个飞行软件与嵌入式系统框架
查看缓存全文
缓存时间: 2026/07/11 13:21
一款经过飞行验证的多平台开源飞行软件框架
相似文章
F*：一种面向证明的通用编程语言
F* 是一种通用的、面向证明的编程语言，它将依赖类型与基于 SMT 和策略驱动的证明自动化相结合，可编译为 OCaml 及其他目标语言。这是一个由微软研究院、Inria 和社区共同开发的开源项目，用于形式化验证。
F3
F3 是一种下一代开源数据文件格式，通过嵌入 WebAssembly 解码器实现互操作性和可扩展性，解决了 Parquet 等传统格式的局限性。目前它是基于一篇发表于 ACM 的论文的研究原型。
WebFPGA
WebFPGA 是一个快速 FPGA 开发系统，包括基于 Web 的 IDE 和各种编程与原型制作的支持资源。
Fuser Apps
Fuser Apps 是一个在协作画布上通过 vibe-coding 创建应用、网站和游戏的平台。
Fusion 编程语言
Fusion 是一种编程语言，允许开发者一次编写库，并从单一代码库转译到 C、C++、C#、D、Java、JavaScript、Python、Swift、TypeScript 和 OpenCL。