C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
☆15Jun 6, 2026Updated last week
Alternatives and similar repositories for cordetfw
Users that are interested in cordetfw 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 UML State Machines and Activity Diagrams for Safety-Critical, Real-Time and Embedded Applications.☆32Sep 24, 2023Updated 2 years ago
- ECSS Packet Utilization Standard implementation.☆25May 24, 2026Updated 3 weeks ago
- A SmallSat Flight Software Framework, for student projects☆16Jul 27, 2023Updated 2 years ago
- ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.☆18Jan 24, 2024Updated 2 years ago
- Repository for holding all CCSDS MO documentation, examples, tutorials and issue lists.☆14Feb 11, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Safe, idiomatic bindings to cFE and OSAL APIs for Rust☆18Oct 20, 2025Updated 7 months ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆36Dec 2, 2025Updated 6 months ago
- A software framework for small satellites based on CCSDS MO services☆119Jun 7, 2026Updated last week
- Repository for holding all CCSDS MO Training documentation, examples, tutorials and issue lists☆14Jul 30, 2019Updated 6 years ago
- A C++ event-driven execution platform.☆17Mar 19, 2026Updated 2 months ago
- Complete software package for the Iris Lunar Rover (CMU).☆17Feb 23, 2026Updated 3 months ago
- RACS - the ROS1 and cFS System☆32Mar 20, 2023Updated 3 years ago
- Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems☆20Sep 4, 2024Updated last year
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆18Jul 30, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Open-source project to build a low-cost Commercial-Off-The-Shelf on-board computer for small CubeSat missions.☆14May 17, 2021Updated 5 years ago
- Lock-free single producer/single consumer (SPSC) ring buffer using C11 atomics.☆13Sep 13, 2020Updated 5 years ago
- Software infrastructure for monitoring & control of hardware and software elements.☆29Sep 1, 2024Updated last year
- C++ Concurrency library!☆27Feb 15, 2019Updated 7 years ago
- Tools for generating CFS ECI-compatible code from Simulink models☆30Sep 12, 2023Updated 2 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- C11 + Pthreads Atomic Bounded Work Queue☆28Jun 12, 2015Updated 11 years ago
- A Hobbit Environment☆21Jan 6, 2025Updated last year
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Apr 12, 2012Updated 14 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Core Flight System (cFS) ELF to CFE Table Tool (elf2cfetbl)☆28May 14, 2026Updated last month
- vscode memory inspector☆17May 28, 2026Updated 2 weeks ago
- ☆16Mar 17, 2025Updated last year
- 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 5 years ago
- 🎙️ P³: Lightning-fast podcast processing with Apple Silicon optimization and local LLMs. Parakeet MLX transcription + Ollama analysis = …☆31Aug 25, 2025Updated 9 months ago
- Example C implementations of design patterns from the gang of four☆23Jan 31, 2022Updated 4 years ago
- ☆85Jun 19, 2019Updated 6 years ago
- Deeply Embeddable bare-metal C++ standard library☆12Feb 16, 2025Updated last year
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Create embeddings for LLM using the Nomic API☆23Nov 21, 2024Updated last year
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Open source Java implementation of publicly available CCSDS standards: SLE, TM/TC, AOS, Space Packets, COP-1, time formats, CFDP, Encapsu…☆116Sep 1, 2024Updated last year
- Ada library and tools for the analysis of Complex Networks and more☆11Nov 16, 2023Updated 2 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- Print out the type encoding for properties in a Swift class☆12May 16, 2015Updated 11 years ago
- ☆10Jul 8, 2020Updated 5 years ago