nbstrong / JPL_10_Rules_for_Safety_Critical_Code_ExplanationLinks
Explanation with code exambles for NASA Jet Propulsion Lab's "The Power of 10: Rules for Developing Safety-Critical Code"
☆13Updated last year
Alternatives and similar repositories for JPL_10_Rules_for_Safety_Critical_Code_Explanation
Users that are interested in JPL_10_Rules_for_Safety_Critical_Code_Explanation are comparing it to the libraries listed below
Sorting:
- Arduino library for AD9850 and AD9851 function generators.☆13Updated last month
- A $50 DIY RF network analyzer with tracking generator and RTL-SDRs.☆17Updated 4 years ago
- Software GPS receiver for ESP32☆41Updated last year
- Opensource, openhardware implementation of a Software Defined Radio (SDR) Ground Based Synthetic-Aperture RADAR (GB-SAR)☆36Updated last month
- Utilizing fl2k (FL2000-based USB3-SVGA video adapter) as a bench signal generator with TUI☆27Updated 2 years ago
- MicroPython for Seeed XIAO-ESP32C3☆25Updated last month
- Official hardware design files for Unexpected Maker's TinyWATCH S3☆14Updated 3 months ago
- ESP32-based portable Multi-Sensor Pod [in development]☆10Updated last year
- A 2.4GHz band and WiFi analyzer toolkit made with the D1 Mini and NRF24L01☆38Updated 2 years ago
- An open source linear power supply unit for hobbyists and professionals☆34Updated 3 years ago
- 10 MHz 3 channel distribution amplifier and low pass filter designed to integrate in a BG7TBL GPSDO☆10Updated 3 years ago
- ☆23Updated 7 months ago
- Arduino shield for various LoRa communication modules☆14Updated 8 years ago
- Zyrus STM Tip Etching Machine☆23Updated last year
- ☆19Updated 11 months ago
- Building custom flight computers☆21Updated last month
- 433mhz OOK RF stuff for Arduino☆11Updated 5 years ago
- ☆20Updated 7 months ago
- NRF24L01+ (and clones) registers at your fingertips☆11Updated 8 years ago
- AX5043 Based USB Radio, dual band UHF and VHF☆31Updated 2 years ago
- Digital Test board for an Open Source FPGA Oscilloscope☆17Updated 4 years ago
- ☆17Updated 7 years ago
- RF powermeter with USB-interface☆14Updated 2 years ago
- Hardware and Software for the PicoGPSDO☆16Updated 9 months ago
- ☆18Updated 4 years ago
- ☆30Updated 2 years ago
- Parametric OpenSCAD model for making coil forms for coax-traps for wire antennas.☆15Updated 5 years ago
- Electrical designs for coral.ai projects☆29Updated 2 years ago
- Linrad - SDR receiver☆13Updated 2 months ago
- Experiments, tutorials and examples using the Scoppy oscilloscope and logic analyzer☆21Updated last year