When the stakes are high, intelligence is only half the equation - reliability is the other ⚠️
☆59Mar 10, 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
Sorting:
- Ultimate NLP Toolkit for GPUs: RAPIDS-AI, PyTorch, NeMo, Tensorboard, TensorRT, CUDA 10.1☆10Mar 19, 2020Updated 6 years ago
- Practicum AI Python (Beginner) workshop.☆12May 23, 2024Updated last year
- Open-source implementation of Google's AI co-scientist for genenerating research hypotheses☆19Mar 5, 2026Updated 2 weeks ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 4 years ago
- An html widget that creates interactive pie chart☆12Nov 16, 2022Updated 3 years ago
- Implementation of ADRNet (Sunggoo Jung*, Sunyou Hwang, Heemin Shin, David H Shim)☆17Aug 13, 2024Updated last year
- Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.☆11Jun 13, 2017Updated 8 years ago
- This is an SDK for Google Cloud Explainable AI service. Explainable AI SDK helps users build explanation metadata for their models and vi…☆25Jan 25, 2022Updated 4 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- PX4 Source Code for Phoenix Tail-sitter☆10Mar 14, 2019Updated 7 years ago
- Giving Claude a home on an old ThinkPad☆58Jan 31, 2026Updated last month
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- Ada projects for Make-with-Ada☆13Feb 18, 2026Updated last month
- DARPA CASE program☆16Jun 10, 2025Updated 9 months ago
- Automated Analysis Framework for Simulink/Stateflow☆15Jul 25, 2023Updated 2 years ago
- LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm☆16Nov 30, 2020Updated 5 years ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆15Oct 15, 2025Updated 5 months ago
- Robotics with Ada, ARM, and Lego☆17Feb 10, 2024Updated 2 years ago
- PhD research-related software on fault diagnosis☆13Apr 7, 2019Updated 6 years ago
- Modeling and Simulation Project☆13Apr 6, 2021Updated 4 years ago
- plugin to check spacing between sentences☆10Sep 10, 2023Updated 2 years ago
- Modular Autopilot for Unmanned Aerial Vehicles☆12Aug 22, 2025Updated 6 months ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Match the case of `value` to that of `base`☆13Nov 20, 2022Updated 3 years ago
- F16 Simulator - Live Piloted Python Simulation ; based on the 'Non-linear F-16 Simulation using Simulink and Matlb' of the University of …☆16Dec 20, 2018Updated 7 years ago
- A little tool allowing you to monitor your system on your android based phone☆31Dec 22, 2024Updated last year
- Regular expression for matching punctuation characters.☆10Jul 1, 2017Updated 8 years ago
- Example repo for how to organize your PhD with Github☆28Oct 25, 2015Updated 10 years ago
- Notebooks, datasets, other content for the Radiology:AI series known as Magicians Corner by Brad Erickson☆33Oct 6, 2022Updated 3 years ago
- ICH Segmentation of CT scans☆27Nov 18, 2025Updated 4 months ago
- DeepBleed: 3D Volumetric Intracranial Hemorrhage Segmentation for Clinical Trials☆29Dec 29, 2023Updated 2 years ago
- A small repo of notes and scripts for collecting data on U.S. deadly force police incidents☆10Aug 9, 2015Updated 10 years ago
- A high-fidelity 6dof dynamic model of fighter F16 based on NASA aerodynamics data. The code are written completely with m function withou…☆16Aug 14, 2018Updated 7 years ago
- Framework for platform-independent SPARK components☆24Aug 28, 2020Updated 5 years ago
- Clarify your words with emojis☆12Aug 25, 2016Updated 9 years ago
- R markdown format and template for light-on-dark beamer presentations—with fussy extras.☆12Nov 1, 2021Updated 4 years ago
- This project contains the UNIFIER19 C7A-HARW aircraft Flight Dynamics Simulator Simulink model and XPlane-11 model.☆25Oct 14, 2024Updated last year
- Implementation of "Practical Window Setting Optimization for Medical Image Deep learning"☆42Jan 14, 2020Updated 6 years ago