The Software Validation Facility (SVF) is a standards-based validation platform for aerospace software — simulation, test orchestration, and requirements traceability in one open-core toolchain
☆12Oct 25, 2026Updated this week
Alternatives and similar repositories for opensvf
Users that are interested in opensvf 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 4 months ago
- TMTC Commander Core☆24Oct 22, 2026Updated last week
- Java graphical frontend for gnuplot: setup your plots faster☆12Aug 18, 2018Updated 8 years ago
- Standalone IP with ARM-AMBA/AXI capable device. Enables sending and receiving data via SpaceWire protocol. Tested on Xilinx FPGA (ZYNQ).☆13Jul 12, 2024Updated 2 years ago
- ☆29Sep 5, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Open-source systems engineering for Software-Defined Vehicle — SysML v2, MBSE, product-line engineering, digital continuity, and continuo…☆13Updated this week
- A powerful modular, zero-overhead, static composition engine for embedded systems and modern C++.☆18Sep 30, 2026Updated last month
- CRCat: Complex Rational Catalog of all Possible RLC Networks of up to and Including Five Elements☆35Nov 22, 2025Updated 11 months ago
- ☆16Jan 27, 2025Updated last year
- ECSS Packet Utilization Standard implementation.☆27May 24, 2026Updated 5 months ago
- A* Algorithm for robot path planning using a simple Euclidean heuristic function.☆10Mar 17, 2023Updated 3 years ago
- Neural network model for gravitational wave sky localization☆12Feb 29, 2024Updated 2 years ago
- ☆34Oct 16, 2026Updated 2 weeks ago
- Embedded, Static Wear-Leveling FTL Library for Microcontrollers☆17Aug 8, 2025Updated last year
- 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.
- Simulation of trajectories defined by Newton's laws for two or three bodies in space.☆11Sep 30, 2024Updated 2 years ago
- ☆12Feb 14, 2023Updated 3 years ago
- 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
- CNN-LSTM autoencoder model to extract binary black hole gravitational wave signals from detector noise.☆13Sep 5, 2022Updated 4 years ago
- RESTful API based universal remote control☆13Jun 20, 2022Updated 4 years ago
- ☆25Aug 18, 2026Updated 2 months ago
- NICE Toolbox provides tools for exploring nonverbal human communication using computer vision.☆11Sep 24, 2026Updated last month
- Standalone build of courgette from chromium☆12Jun 11, 2020Updated 6 years ago
- We implemented a solution of the Linear Quadratic Regulator (LQR) Optimal Control problem in C++. We use the Newton method to solve the R…☆32Apr 10, 2026Updated 6 months 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.
- Supporting material for Princeton ORF522☆15Sep 28, 2026Updated last month
- Spacecraft Dynamics Capstone Project (Coursera): Attitude Dynamics and Control of Nano-Satellite Orbiting Mars☆11May 26, 2020Updated 6 years ago
- Terminal emulator for serial port connections☆14Oct 22, 2026Updated last week
- A reproducible project with over 130,000 logged Halo orbits, notebooks, and papers related to astrodynamics!☆15Jan 30, 2022Updated 4 years ago
- ☆21Nov 8, 2024Updated last year
- SpaceWire Light☆22Jul 17, 2014Updated 12 years ago
- A C++ implementation of the ECSS Packet Utilization Standard to be used aboard the AcubeSAT nanosatellite☆21Oct 18, 2026Updated last week
- Lock-free single producer/single consumer (SPSC) ring buffer using C11 atomics.☆14Sep 13, 2020Updated 6 years ago
- EtherCAT Slave Information (ESI)☆20Oct 27, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Collection of useful kernels☆19Oct 3, 2025Updated last year
- Teleoperated Mars rover with autonomous capabilities intended for robotics competitions.☆25Apr 12, 2025Updated last year
- CCP implementation of the BBR congestion control algorithm☆19Apr 22, 2026Updated 6 months ago
- Transformer-based Powered Descent Guidance (T-PDG), a scalable algorithm for reducing the computational complexity of the direct optimiza…☆17Nov 12, 2023Updated 2 years ago
- Low-dimensional PCA-derived manifolds and everything in between!☆16Sep 19, 2024Updated 2 years ago
- Multi-Objective Low-Thrust Optimizer for Three Body Problem☆13Aug 23, 2021Updated 5 years ago
- The Core Flight System (cFS) Housekeeping (HK) application.☆44Updated this week