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☆39Nov 8, 2019Updated 6 years ago
- A rust crate to work with Autosar data (arxml) files☆67Aug 15, 2026Updated 3 weeks ago
- ☆27Jun 6, 2023Updated 3 years ago
- User defined static call-tree constraints in C++. This is the implementation of the tool for my masters thesis.☆15Sep 25, 2018Updated 7 years ago
- Clang-Tidy checks for MISRA C 2023 and MISRA C 2012☆18Mar 28, 2026Updated 5 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Examples of clang-tidy plugins☆37Apr 8, 2025Updated last year
- racket llvm C-API bindings☆17Feb 7, 2026Updated 7 months ago
- A library to run your Arduino code on a desktop OS☆10Nov 6, 2022Updated 3 years ago
- A C++ framework that implements generalised finite state machines☆11Mar 18, 2022Updated 4 years ago
- ☆13Aug 19, 2025Updated last year
- 将智能手机变成机器人，利用智能手机作为低成本机器人的大脑，配合单片机控制舵机做一些有趣的事情。 其实就是自己DIY玩的，就和小时候玩的4驱车一样。有买成品的，有买散件自己组装的。而我就是后者，享受自己DIY的快乐。☆13Jan 9, 2023Updated 3 years ago
- simple static source code analysis tool for C code, with user-definable properties☆29Jul 8, 2024Updated 2 years ago
- Configuration file parser generator, that uses YAML for configuration files. Currently generates only C code☆15Jun 9, 2015Updated 11 years ago
- Have your Wio Terminal type your passwords. This repository has been archived. Head over to https://github.com/PasswordVault/passwordvaul…☆15Oct 9, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Depth map integration using VTK and Cuda☆15Sep 11, 2017Updated 8 years ago
- dmake - formerly used by openoffice.org☆18Oct 29, 2023Updated 2 years ago
- Clang AST viewer☆69Apr 19, 2017Updated 9 years ago
- GitHub action to check if pull requests have their corresponding issues.☆22Updated this week
- Small editor wrapped on cirru-editor☆14Aug 26, 2016Updated 10 years ago
- Android Library for communicating with physical-computing boards (e.g.Arduino, mbed)☆22May 30, 2022Updated 4 years ago
- B-Roll: Video data in rosbag2 plugins and utilities☆12Nov 19, 2025Updated 9 months ago
- Covid-19 Virus Data API from Johns Hopkins CSSE☆15Jun 22, 2020Updated 6 years ago
- Mirror repository, PRs are not watched, please use Xfce's GitLab☆13Aug 14, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14Apr 2, 2025Updated last year
- A Discrete EVent Simulator is a C++ library for building simulations of discrete event and hybrid dynamic systems.☆15May 8, 2026Updated 3 months ago
- ☆21Apr 17, 2023Updated 3 years ago
- A frontend for libSMCE made with godot using gdnative☆17May 30, 2022Updated 4 years ago
- A fast, Rust-based drop-in replacement for pathsim☆23Updated this week
- WaiterBell - The ticketing system in real world!☆16Feb 1, 2023Updated 3 years ago
- A composable container for Adaptive ROS 2 Node computations. Select between FPGA, CPU or GPU at run-time.☆11Apr 14, 2022Updated 4 years ago
- Tutorial for advanced GTK programmers☆13Oct 6, 2013Updated 12 years ago
- A bot to remind you to check whether your Definition-of-Done has been satisfied before approving a pull request☆21Feb 22, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆184May 21, 2018Updated 8 years ago
- Lightweight config file parser library☆20Updated this week
- Automatic Multiscale-based Peak Detection (AMPD)☆18Jan 7, 2014Updated 12 years ago
- An extension for VS Code which provides support for the TTCN-3 language.☆17Aug 5, 2026Updated last month
- Claude Agent Skills for AOSP platform development and Android app development, powered by the Lightrion AOSP MCP server.☆22Jun 27, 2026Updated 2 months ago
- USB Full-Speed core written in migen/LiteX☆12Sep 19, 2019Updated 6 years ago
- Matlab MEX gateway generator☆16Jul 18, 2026Updated last month