F´ - A flight software and embedded systems framework
C++ 10.33 k
4 天前
Generator of runtime monitors for flight and robotics applications.
Haskell 464
1 个月前
THIS REPOSITORY HAS BEEN MOVED TO GITLAB
C 42
6 个月前
🛰️ Minimalist software system for CubeSats and high-altitude balloon systems
C++ 40
6 年前
C 30
15 天前
C 27
11 天前
C 21
8 年前
Rust 21
1 个月前
C 19
25 天前
K&CG SATLLAZERO Open Source Project. Ariel University. 2023.
C++ 14
1 年前
Python 6
4 年前
Documentation for the On Board Computer used in the BIRDS4 satellite
C 5
1 年前
A Docker-based development environment for cross-compiling NASA's Core Flight System (cFS) to a Raspberry Pi 3.
C 4
3 年前
A flight software framework for advanced collegiate rockets
C++ 3
3 年前
Shell 2
5 年前
This is a flight system which uses MYSQL database.
Java 2
6 年前
An API that provides weather and NOTAMs briefings for navigation flight plans
TypeScript 2
1 年前
C# 2
2 年前
This is the repo for the Isomer Space Program (ISP) 1U CoyoteSat CubeSat mission.
HTML 1
2 年前
loading...