Following AUTOSAR guidelines can be easy and free!
☆22Jan 16, 2024Updated 2 years ago
Alternatives and similar repositories for autocheck
Users that are interested in autocheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆40Nov 8, 2019Updated 6 years ago
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆38Oct 5, 2026Updated last week
- User defined static call-tree constraints in C++. This is the implementation of the tool for my masters thesis.☆15Sep 25, 2018Updated 8 years ago
- Clang-Tidy checks for MISRA C 2023 and MISRA C 2012☆19Mar 28, 2026Updated 6 months ago
- Examples of clang-tidy plugins☆37Apr 8, 2025Updated last year
- 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.
- Reverts all changes made to Windows 10 (including disabled Cortana), caused by "Destroy Windows Spying" Tool [DWS_Lite.exe] to default st…☆10Dec 15, 2017Updated 8 years ago
- Nintendo GameBoy Emulator☆14Oct 3, 2026Updated 2 weeks ago
- PLASMA parallel library for dense linear algebra.☆10May 30, 2017Updated 9 years ago
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆48Nov 10, 2017Updated 8 years ago
- ☆11May 18, 2024Updated 2 years ago
- Arduino library for the Maxim DS1337 I2C RTC.☆11Aug 20, 2014Updated 12 years ago
- ☆13May 29, 2025Updated last year
- ☆15Apr 6, 2013Updated 13 years ago
- Configuration file parser generator, that uses YAML for configuration files. Currently generates only C code☆15Jun 9, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Formal verification agent for design or implementation☆16Nov 18, 2025Updated 10 months ago
- B-Roll: Video data in rosbag2 plugins and utilities☆12Nov 19, 2025Updated 10 months ago
- Custom firmware for the chinese kseger soldering iron controller☆12Jul 25, 2018Updated 8 years ago
- A Discrete EVent Simulator is a C++ library for building simulations of discrete event and hybrid dynamic systems.☆16May 8, 2026Updated 5 months ago
- A library for semantic similarity search☆26Jan 31, 2025Updated last year
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆184May 21, 2018Updated 8 years ago
- A set of tutorial projects for creating a simple digital radio receiver based on the STM32G431KB microcontroller☆18Nov 12, 2021Updated 4 years ago
- Automatic Multiscale-based Peak Detection (AMPD)☆18Jan 7, 2014Updated 12 years ago
- Claude Agent Skills for AOSP platform development and Android app development, powered by the Lightrion AOSP MCP server.☆24Oct 3, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- ☆13Jan 22, 2024Updated 2 years ago
- The specification, reference runtimes, validator, LLM bridge, and conformance suite for URML — an open language for robot intent.☆29Oct 5, 2026Updated last week
- ☆18May 20, 2026Updated 4 months ago
- Matlab command-line functions for supporting Simulink model comparison☆15Apr 3, 2022Updated 4 years ago
- Scantool to read diagnostic codes with an adaptater ELM320 ELM322 ELM323 ELM327 ELM329. Dive into the automotive and repair your car !☆22Sep 10, 2026Updated last month
- Abstract 2D multi-robot multi-interface mobile robot simulator (fork of MobileSim simulator with various fixes, optimizations, and added …☆16May 30, 2023Updated 3 years ago
- Testing the FFT performance of Cortex-M microcontrollers on ST Nucleo boards☆19Jul 22, 2018Updated 8 years ago
- Smallest possible C/++ GLSL framework (~550B) for demo-coding.☆24Nov 9, 2016Updated 9 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.
- patches for Dirk-Jan Kroon's Fast Marching Matlab Toolbox☆11Nov 12, 2014Updated 11 years ago
- Forked for STM32 on PlatformIO and rebased vs upstream☆19Apr 8, 2022Updated 4 years ago
- ☆14Mar 12, 2023Updated 3 years ago
- ☆10Jul 10, 2021Updated 5 years ago
- The firmware for STM32F103 microcontrollers that emulates CH340 IC (USB to UART interface)☆28Apr 28, 2017Updated 9 years ago
- Simulink C++ S-function for software-in-the-loop (SIL) simulation with Pixhawk. More information about SIL simulation with Pixhawk is ava…☆19Aug 4, 2026Updated 2 months ago
- Instrumentation datalogger for metrology applications with TEC controller function☆19May 14, 2022Updated 4 years ago