fprime
Embedded software toolkit
A framework and toolset for developing fast and reliable embedded software for space applications
F´ - A flight software and embedded systems framework
10k stars
260 watching
1k forks
Language: C++
last commit: 2 months ago
Linked from 1 awesome list
componentscppembeddedembedded-systemsflightflight-softwarefprimeframeworknasaobject-oriented-programmingraspberry-pireal-timespaceflight
ly0n/awesome-robotic-toolingRelated projects:
| Repository | Description | Stars |
|---|---|---|
 fstarlang/fstar | A proof-oriented programming language designed to support formal verification and theorem-proving of software systems. | 2,705 |
 esa-tu-darmstadt/tapasco | A framework for integrating FPGA-based accelerators into heterogeneous systems and connecting them to host CPUs and external memory. | 107 |
 psas/av3-fc | An event-driven flight computer system for rockets | 424 |
 andrew-gresyk/hfsm2 | A header-only C++ library implementing a high-performance hierarchical finite state machine framework. | 489 |
 cmeeren/felicity | A JSON:API framework for F# domain models allowing developers to expose their logic as an API with minimal boilerplate | 78 |
 federatedai/fate | Enables secure collaboration on data among multiple parties while protecting privacy and security | 5,750 |
 open-mss/mss | A software tool for planning atmospheric research flights | 65 |
 digint/tinyfsm | A simple C++ finite state machine library for building and managing complex state transitions. | 958 |
 trabucayre/openfpgaloader | Utility for flashing and managing FPGA devices. | 1,236 |
 dotnet/fsharp | The F# compiler, core library, and tools provide a platform for building functional programs in a statically typed language. | 3,948 |
 openclimatefix/satip | A library for processing satellite image data | 40 |
 noaa-gfdl/fms | A software framework for building and running complex climate system models | 98 |
 fsprojects/avalonia.funcui | A framework for building cross-platform GUI applications using F# and Avalonia. | 991 |
 microsoft/blingfire | A C++ library for efficient finite state machine and regular expression manipulation. | 1,837 |
 esa/pykep | A C++ library providing algorithms and tools for astrodynamics research and mission analysis in space exploration. | 347 |