fprime
Space application framework
A framework for developing and deploying embedded software applications in spaceflight systems
F´ - A flight software and embedded systems framework
10k stars
261 watching
1k forks
Language: C++
last commit: 9 days ago
Linked from 1 awesome list
componentscppembeddedembedded-systemsflightflight-softwarefprimeframeworknasaobject-oriented-programmingraspberry-pireal-timespaceflight
Related projects:
Repository | Description | Stars |
---|---|---|
fstarlang/fstar | A proof-oriented programming language designed to support formal verification and theorem-proving of software systems. | 2,696 |
esa-tu-darmstadt/tapasco | A framework for integrating FPGA-based accelerators into heterogeneous systems and connecting them to host CPUs and external memory. | 106 |
psas/av3-fc | An event-driven flight computer system for rockets | 422 |
andrew-gresyk/hfsm2 | A header-only C++ library implementing a high-performance hierarchical finite state machine framework. | 480 |
cmeeren/felicity | A JSON:API framework for F# domain models allowing developers to expose their logic as an API with minimal boilerplate | 77 |
federatedai/fate | An industrial-grade framework for collaborative machine learning on private data while maintaining security and privacy | 5,723 |
open-mss/mss | A software tool for planning atmospheric research flights | 62 |
digint/tinyfsm | A simple C++ finite state machine library for building and managing complex state transitions. | 949 |
trabucayre/openfpgaloader | Utility for flashing and managing FPGA devices. | 1,221 |
dotnet/fsharp | The F# compiler, core library, and tools provide a platform for building functional programs in a statically typed language. | 3,926 |
openclimatefix/satip | A library for processing satellite image data | 41 |
noaa-gfdl/fms | A software framework for building and running complex climate system models | 94 |
fsprojects/avalonia.funcui | A framework for building cross-platform GUI applications using F# and Avalonia. | 980 |
microsoft/blingfire | A C++ library for efficient finite state machine and regular expression manipulation. | 1,834 |
esa/pykep | A C++ library providing algorithms and tools for astrodynamics research and mission analysis in space exploration. | 341 |