Case study for using MathWorks tools on a DO-178 project
☆29May 31, 2023Updated 2 years ago
Alternatives and similar repositories for DO178_Case_Study
Users that are interested in DO178_Case_Study are comparing it to the libraries listed below
Sorting:
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated 2 weeks ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 6 years ago
- ☆14Mar 12, 2023Updated 2 years ago
- ☆10Jul 10, 2021Updated 4 years ago
- This is a new repository for a new tool to be added to the cFS ecosystem called cFS Test Framework (CTF).☆34Oct 1, 2025Updated 5 months ago
- Using Naives Bayes Classifier to predict Safeguard Categories in Industrial Risk Study, like HAZOP and LOPA.☆14Feb 10, 2023Updated 3 years ago
- Spinbox extension for customtkinter (add-on)☆10Jun 4, 2024Updated last year
- PyQt thread which overlays the translucent loading screen with label on the whole window like some generic application loading screen.☆12Feb 4, 2022Updated 4 years ago
- Grab some/all of CodeQL CLI binary, QL library, VSCode starter workspace, VSCode and VSCode QL extension☆11Jun 12, 2025Updated 8 months ago
- Combined InstantID🔥 and FouriScale to generate high resolution image!☆11Apr 3, 2024Updated last year
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last week
- UIC repository (SGET SDT.04)☆12Dec 7, 2022Updated 3 years ago
- HUST-CS-2019 操作系统课程及其实验☆11Oct 26, 2022Updated 3 years ago
- A simple led indicator for PyQt5☆11Sep 15, 2017Updated 8 years ago
- A cross platform manga/doujinshi manager with namespace & tag support☆10Oct 10, 2021Updated 4 years ago
- ☆12Feb 3, 2026Updated last month
- MediaPipeのFaceMesh検出を用いて、虹彩部分に写輪眼(©NARUTO -ナルト-)を表示するプログラム☆11Apr 16, 2022Updated 3 years ago
- ☆83Jun 19, 2019Updated 6 years ago
- A stand alone web site to guide users on different styling prompts for Stable Diffusion relating to fashion styling, hair and make up.☆13May 13, 2025Updated 9 months ago
- Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.☆11Jan 2, 2026Updated 2 months ago
- BleachBit documentation☆12Feb 26, 2026Updated last week
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- ☆28Feb 2, 2026Updated last month
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- Demonstration of different algorithms and operations on faces. Join the Discord channel for discussion.☆12Apr 20, 2023Updated 2 years ago
- Python package for NDArray-based processing of QVideoFrame with Qt6.☆13Sep 26, 2023Updated 2 years ago
- In this project, I am creating a facial mesh using opencv and mediapipe. It can detect a face even with a face mask.☆13Sep 13, 2021Updated 4 years ago
- CodeQL Guide☆11Jan 12, 2022Updated 4 years ago
- A deep learning model for identifying and localizing vulnerabilities in C/C++ source code.☆12Jan 18, 2025Updated last year
- [ECCV 2024] Official code repository of paper titled "Efficient 3D-Aware Facial Image Editing Via Attribute-Specific Prompt Learning"☆10Aug 2, 2024Updated last year
- ☆10Feb 19, 2016Updated 10 years ago
- Easy local FLUX.1 Inference☆10Aug 29, 2024Updated last year
- Pytorch deep learning project to generate the frontal view of the t-shirt a person is wearing on an inferred image. Using a Segmenter an…☆10Mar 11, 2024Updated last year
- 使用onnxruntime部署C2PNet图像去雾，包含C++和Python两个版本的程序☆11Apr 11, 2024Updated last year
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Code for the paper "Free-View Expressive Talking Head Video Editing" (ICASSP 2023)☆12May 26, 2024Updated last year
- toolsuite for analyzing cpp-preprocessor-based software product lines☆12Jul 19, 2023Updated 2 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 5 years ago
- Virtual Makeup is a smart beauty camera app feature that allows users to try on makeup, hair colors, and accessories via augmented realit…☆15Aug 3, 2021Updated 4 years ago