A SmallSat Flight Software Framework, for student projects
☆16Jul 27, 2023Updated 3 years ago
Alternatives and similar repositories for sfsf
Users that are interested in sfsf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆16Jun 6, 2026Updated 5 months ago
- THIS REPOSITORY HAS BEEN MOVED TO GITLAB☆47Dec 27, 2024Updated last year
- Repository for holding all CCSDS MO documentation, examples, tutorials and issue lists.☆14Feb 11, 2016Updated 10 years ago
- Repository for holding all CCSDS MO Training documentation, examples, tutorials and issue lists☆14Jul 30, 2019Updated 7 years ago
- ☆88Jun 19, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This repository includes the UHF specifications for Quetzal-1, information on demodulating and decoding beacons from the satellite, as we…☆37Dec 11, 2024Updated last year
- Main repository for all flight software (including all subsystems, core libraries, and hardware abstraction layers) for the DubSat-1 3U C…☆25May 27, 2022Updated 4 years ago
- Exploring the Raspberry Pi 2 with C++ (ISBN 978-1-4842-1738-2)☆12Jan 6, 2019Updated 7 years ago
- design, analysis, CAD, and testing for the LV3.1 recovery system☆13Sep 19, 2026Updated last month
- Home of the Western CubeSat Project☆29Jul 8, 2022Updated 4 years ago
- NanoSat MO Framework - NMF Mission: OPS-SAT☆24Feb 27, 2024Updated 2 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- This library implements the Modbus protocol (RTU & ASCII) Slave for microcontroller.☆15Sep 13, 2022Updated 4 years ago
- ☆20Apr 14, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SUCHAI Cubesat flight software☆24Sep 4, 2017Updated 9 years ago
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- ☆15Sep 7, 2020Updated 6 years ago
- ICAROUS is a software architecture for the development of UAS applications☆181Sep 28, 2026Updated last month
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- A self balancing robot built with STM32☆21Mar 11, 2024Updated 2 years ago
- Buck boost regulator module that supports 3.5V-24V input, charging 1-4 cell batteries, and programmable USB OTG output from 4.48V to 20.8…☆21Jun 30, 2020Updated 6 years ago
- ☆18Mar 17, 2025Updated last year
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Core Flight System (cFS) Application Developer's Kit☆305Mar 25, 2024Updated 2 years ago
- Flight Dynamics Project - UAV☆12Aug 13, 2026Updated 2 months ago
- Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (cl…☆16Nov 21, 2022Updated 3 years ago
- Modified Mälardalen WCET benchmarks, annoted with instruction timing☆10Jun 12, 2019Updated 7 years ago
- A library for the provisioning of basic system services on seL4.☆10Feb 15, 2021Updated 5 years ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 8 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- ☆13Mar 23, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A formal proof of LaSalle's invariance principle☆12Feb 3, 2026Updated 9 months ago
- Ada library and tools for the analysis of Complex Networks and more☆11Nov 16, 2023Updated 2 years ago
- Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.☆11Jun 13, 2017Updated 9 years ago
- Walletgenie is a CLI RPC frontend to digital currency daemons☆12Jun 29, 2017Updated 9 years ago
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 12 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- ☆15Apr 26, 2021Updated 5 years ago