#
rad-hard
Here are 3 public repositories matching this topic...
A universal language of signs for designing and proving purely mechanical computers, inspired by Charles Babbage's original notation.
cryptography aerospace mechanical-engineering hdl formal-verification history-of-computing charles-babbage analytical-engine rad-hard mechanical-computing
-
Updated
Oct 10, 2025 - HTML
Deterministic C99 Multi-Sensor Fusion Framework (ESA SAVOIR OSRA / ECSS-E-ST-40C) for GPS-Denied Lunar, Planetary & Deep-Space Autonomous PNT
c99 esa sensor-fusion pnt kalman-filter ecss rad-hard spacecraft-gnc lunar-landing space-software savoir-osra
-
Updated
Aug 25, 2026 - C
Add this topic to your repo
To associate your repository with the rad-hard topic, visit your repo's landing page and select "manage topics."