When the stakes are high, intelligence is only half the equation - reliability is the other ⚠️
☆65Oct 1, 2026Updated last week
Alternatives and similar repositories for awesome-safety-critical-ai
Users that are interested in awesome-safety-critical-ai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Portable four-parameter vital signs monitor (ECG, SpO2, temperature, respiration) built on ESP32. Biomedical engineering bachelor's proje…☆17Jul 9, 2026Updated 3 months ago
- Enhance GitHub security by revoking unused credentials automatically with TenTwentyOne's GitHub Action☆17Apr 4, 2025Updated last year
- Automated financial KPI extraction for VC due diligence.☆16Jan 4, 2026Updated 9 months ago
- ☆25Sep 30, 2026Updated last week
- Check markdown with remark in atom☆11Jun 18, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Collection of AI, Data Structures, Data Science, DBMS, and OOP practicals implemented in Python, aligned with the SPPU 2024 curriculum. I…☆32Sep 22, 2026Updated 2 weeks ago
- Palo Alto Networks AI Runtime Security Model Context Protocol (MCP) Relay Server☆34Jan 27, 2026Updated 8 months ago
- Collection of Docker honeypot logs from 2021 - 2024☆35Sep 30, 2024Updated 2 years ago
- This GitHub Action sends a reverse shell from a runner via Azure Storage Account blobs☆40Sep 25, 2024Updated 2 years ago
- GitHub Advanced Security Pull Request Security Team required review GitHub App☆36Updated this week
- ☆41Nov 6, 2024Updated last year
- Perform file-based malware scan on your on-prem servers with AWS☆14Oct 31, 2023Updated 2 years ago
- Run Falco in a GitHub Actions to detect suspicious behavior in your CI/CD☆53Aug 23, 2026Updated last month
- ☆16Mar 17, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Nov 5, 2024Updated last year
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 4 years ago
- ☆125Aug 29, 2024Updated 2 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- ☆11May 1, 2024Updated 2 years ago
- The CoSAI Risk Map is a framework for identifying, analyzing, and mitigating security risks in Artificial Intelligence systems. As tradit…☆99Updated this week
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Personal Access Token (PAT) recon tool for bug bounty hunters, pentesters & red teams☆44Jul 20, 2025Updated last year
- Integrating Amazon API Gateway private endpoints with on-premises networks☆12Jul 9, 2021Updated 5 years 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.
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Harness the security superpowers of your cloud asset inventory☆11Sep 22, 2024Updated 2 years ago
- Global AI Safety and Governance: Never Compromise to Vulnerabilities☆46Sep 11, 2025Updated last year
- 目标是分析Modbus TCP协议，对B-L475E-IOT01A STM32源代码进行了分析，理解其MQTT、Modbus协议通信工作原理。☆11Mar 20, 2018Updated 8 years ago
- ☆11Feb 19, 2016Updated 10 years ago
- Autonomous research engine for generating, testing, and governing auditable claims across science, proofs, and high-stakes projects.☆20Aug 29, 2026Updated last month
- This repository shows how to setup Centralized CloudWatch Observability Manager using Terraform☆18Nov 28, 2024Updated last year
- Open Source Internet Of Things Rapid Prototyping Framework For Environmental Sensing Applications☆18Oct 2, 2026Updated last week
- An html widget that creates interactive pie chart☆12Nov 16, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Claw is a local-first AI control plane that runs powerful open models on your machine and connects to top LLM providers. It intelligently…☆23Updated this week
- ☆19Jul 30, 2024Updated 2 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- AI-powered terminal session logger and analyzer. Save a summary of each session and query for it within a catalog 📟🤖☆16Aug 5, 2024Updated 2 years ago
- Scripts and Lambdas to help with automated deployment of AWS Shield Advanced☆13Feb 11, 2022Updated 4 years ago
- JavaScript SDK to add Improv Wi-Fi over serial to your website.☆21Sep 28, 2026Updated last week
- Mbed TLS is an open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptograph…☆17Jun 22, 2026Updated 3 months ago