When the stakes are high, intelligence is only half the equation - reliability is the other ⚠️
☆63Jun 1, 2026Updated 2 weeks ago
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:
- Simulated AUTOSAR OS runtime for Linux and Windows☆16Jul 12, 2022Updated 3 years ago
- Interactive summary of Gartner's Magic Quadrant for Web Content Management with d3.js☆17Oct 15, 2012Updated 13 years ago
- 目标是分析Modbus TCP协议，对B-L475E-IOT01A STM32源代码进行了分析，理解其MQTT、Modbus协议通信工作原理。☆11Mar 20, 2018Updated 8 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- CLI for selecting and back-testing CloudWatch alarm configuration☆10Aug 8, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- My personal machine learning algorithms repository, implemented in C++.☆10Mar 24, 2016Updated 10 years ago
- OSAL free operating system abstraction for embedded systems. Supports pthreads, freertos, chibios, coocox, bertos and more... RTOS☆14Dec 27, 2013Updated 12 years ago
- My completely self developed Quadcopter Software based on mbed project from ARM. (see mbed.org, LPC1768)☆13Apr 18, 2016Updated 10 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- Git repository for the book Anyone Can Create an App: Beginner iPhone and iPad Programming☆12Feb 15, 2017Updated 9 years ago
- plugin to check spacing between sentences☆10Sep 10, 2023Updated 2 years ago
- Key-value store in Go with segmented logs, compaction, bloom filters & HTTP API☆25Jan 28, 2026Updated 4 months ago
- A little tool allowing you to monitor your system on your android based phone☆32Dec 22, 2024Updated last year
- ☆13Apr 24, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CSV parser for node.js☆15Mar 11, 2019Updated 7 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
- 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
- Raw data about typographic quotes☆12Apr 13, 2017Updated 9 years ago
- Sparklines in the R terminal☆13Jun 11, 2020Updated 6 years ago
- See what's going on inside of WordPress☆13Nov 1, 2016Updated 9 years ago
- A python script that looks for special lines in a markdown file and uses those lines to convert, clean up, and insert content from URLs i…☆16Dec 9, 2012Updated 13 years ago
- Training materials for the intro and advanced R course☆11Oct 31, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- a quick scraper-spider for offline reading of documents organized in annoying "html book" format☆10Jan 12, 2016Updated 10 years ago
- Regular expression for matching words in a string. Support for english, CJK and Cyrillic.☆18Sep 12, 2018Updated 7 years ago
- Reasoning-based Evaluation and Ranking of Translations.☆20Jun 2, 2026Updated last week
- An R package to draw highstock charts. This is for demonstration purpose of htmlwidgets at 46th Tokyo.R meeting.☆11Feb 27, 2015Updated 11 years ago
- A deck.js extension that adds support for Markdown syntax in slides☆32Apr 25, 2012Updated 14 years ago
- Send email tests to Litmus using Grunt☆18Feb 21, 2016Updated 10 years ago
- ☆12Apr 24, 2017Updated 9 years ago
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 11 years ago
- Build a resume from your LinkedIn profile.☆10Dec 12, 2014Updated 11 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.
- Readable Regular Expressions☆15Jul 3, 2015Updated 10 years ago
- Team/Collaborative Task Manager using Google Apps Script (GAS)☆13Jun 28, 2020Updated 5 years ago
- Bootstrap documentation in CHM, complete with searchable Index and table of contents☆11Feb 24, 2016Updated 10 years ago
- PERCEIVE is a project incubator inspired by Apache Incubator and Stack Exchange's Area 51. It serves as a staging zone repository for the…☆13May 21, 2018Updated 8 years ago
- Javascript to present HTML footnotes as a popover.☆44Oct 23, 2014Updated 11 years ago
- How to add formulas to Google Spreadsheet using Google Apps Script - Sarmad Gardezi☆17Apr 24, 2025Updated last year
- CAL-ACCESS Campaign Power Search☆13Nov 2, 2017Updated 8 years ago