Explanation with code exambles for NASA Jet Propulsion Lab's "The Power of 10: Rules for Developing Safety-Critical Code"
☆15Jul 26, 2023Updated 2 years ago
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:
- A CLI tool that scans through a directory and organizes all loose files into folders by file type.☆10Jul 27, 2021Updated 4 years ago
- A radio frequency database☆11Jun 8, 2023Updated 2 years ago
- 8x8x8 LED Cube, AtMega32☆26Apr 3, 2016Updated 9 years ago
- Source codes for RobotLinking Arduino Learning Kit☆11Jan 4, 2018Updated 8 years ago
- Automatic installation of a minimal Basilisk II (Apple Macintosh Quadra 800) system using Raspberry Pi OS Lite on a Raspberry Pi (1, 2, o…☆13Jun 23, 2021Updated 4 years ago
- FNIRSI DPS-150 programmable DC power supply monitor and command utility☆16Nov 11, 2025Updated 3 months ago
- Eza's Menu Editor☆13Oct 12, 2020Updated 5 years ago
- A script to generate the Hackers Against Humanity deck.☆13Jan 21, 2024Updated 2 years ago
- Voron Community mods, slicer profiles and firmware configurations.☆10Nov 17, 2021Updated 4 years ago
- ☆11Mar 24, 2022Updated 3 years ago
- An open-source Dynamic Light Scattering hardware and software☆11Feb 27, 2020Updated 6 years ago
- All design files, source code, and documentation for Project OAK, a digital watch inspired by mechanical complications.☆25Dec 14, 2025Updated 2 months ago
- horrible awful fox that i hate. she crawls across your screen. click on her to make her explode.☆12May 30, 2024Updated last year
- A spring boot validation library from laravel.☆12Sep 6, 2023Updated 2 years ago
- Hardware for ESP8266 based walkie talkie (doesn't work particularly well)☆10Jul 16, 2018Updated 7 years ago
- A Gesture Recognition system with Arduino and Neuton TinyML☆12Feb 21, 2022Updated 4 years ago
- ☆96Updated this week
- FPV Screen conversion☆10Sep 7, 2018Updated 7 years ago
- A simple python wrapper for NASA's SPICE-framework☆13Mar 19, 2016Updated 9 years ago
- $5 Cyber Weapons & How to Use Them☆11Jul 25, 2022Updated 3 years ago
- Public GPLv2 release of 2nd generation Starlink Wifi Router Code☆12Apr 3, 2022Updated 3 years ago
- Build your Ground Station Software with Telestion.☆12Nov 7, 2025Updated 3 months ago
- Custom keyboard using the caps from the Alcatel-Lucent MMK, built with Onshape and KiCad☆15Jul 26, 2025Updated 7 months ago
- ☆10Jul 11, 2024Updated last year
- 🗺 A map of OSINT tools.☆11Aug 2, 2023Updated 2 years ago
- Simple NOAA apt encoder for HackRF☆12Sep 14, 2022Updated 3 years ago
- OwnTracks Recorder (Homebrew)☆12Oct 25, 2024Updated last year
- The Code::Stats plugin allows you to track your coding progress and earn XP for writing markdown in the Obsidian editor.☆13May 1, 2025Updated 10 months ago
- Si5351 based antenna analyser using ESP32 or Arduino☆13Oct 22, 2018Updated 7 years ago
- An R package with wrappers and pipelines for single cell RNA-seq analysis☆13Feb 25, 2026Updated last week
- Lightweight time tracker (GTK+)☆12Oct 16, 2020Updated 5 years ago
- python DUML library for DJI drones☆11May 11, 2020Updated 5 years ago
- List of drivers, interfaces and automation code for optimising coupling to photonic chips.☆13Nov 20, 2018Updated 7 years ago
- JavaScript code for X-ray crystallography applications☆15May 3, 2016Updated 9 years ago
- Making Airtags beep using an ESP32-C3☆12Aug 17, 2023Updated 2 years ago
- A browser based bitcoin miner☆16Dec 15, 2013Updated 12 years ago
- F Graphics Library (FGL) is a small graphics C++ portable library for LCD displays on embedded systems☆13Nov 9, 2021Updated 4 years ago
- A cli tool to browse and play anime☆17Sep 22, 2025Updated 5 months ago
- ☆12Feb 5, 2022Updated 4 years ago