Per-target CPPCheck for CMake
☆18May 30, 2016Updated 9 years ago
Alternatives and similar repositories for cppcheck-target-cmake
Users that are interested in cppcheck-target-cmake are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Add clang-tidy checks to a target using CMake☆16May 31, 2016Updated 9 years ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- OneWire lets you access 1-wire devices made by Maxim/Dallas, such as temperature sensors and ibutton secure memory. Library for arduino☆16Mar 17, 2013Updated 13 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.
- Generate and compile LaTeX documents in the cloud☆17Aug 24, 2014Updated 11 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- Raspberry Pi based catflap-triggered camera. As seen on TV.☆16Nov 27, 2024Updated last year
- Lock-free RCU (Read-Copy-Update) user-space library☆12Jan 3, 2026Updated 3 months ago
- Official repository of the Autosubst 2 project.☆25May 8, 2023Updated 2 years ago
- Procedural Wildflowers☆13Jun 27, 2018Updated 7 years ago
- Tagged types C++ library☆11Apr 2, 2018Updated 8 years ago
- Tool and module for adding any register to gdbinit from svd-file☆11Nov 18, 2021Updated 4 years ago
- selfhosted excalidraw☆10Jul 3, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Dec 16, 2017Updated 8 years ago
- Visual Studio Code extension for VDM language support☆20Apr 2, 2026Updated last week
- Open Pixel Control (OPC) server for Arduino☆14May 16, 2019Updated 6 years ago
- Watt-32 TCP library.☆13Oct 12, 2025Updated 5 months ago
- A golang implementation of the Open Pixel Control protocol☆18Oct 15, 2017Updated 8 years ago
- L3 R2: winnermicro 240MHz XT804 Wi-Fi/BLE SoC (W800/W801)☆11Feb 9, 2023Updated 3 years ago
- The Neki species for Starbound☆10Mar 30, 2026Updated last week
- Proposal for the expected class.☆18May 12, 2017Updated 8 years ago
- ofxAddon that allows recording of pixels to H264 stream file☆12Oct 15, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- OpenWRT core as Yocto layer☆21Jan 10, 2018Updated 8 years ago
- 合宙EC方案的工具箱☆13Mar 1, 2024Updated 2 years ago
- Useful C++ templates☆14May 14, 2024Updated last year
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- A Docker image with GCCGO cross toolchain for OpenWRT 15.05☆24Oct 16, 2020Updated 5 years ago
- Wiki for all stuff Mediatek SoC hacking☆12Nov 3, 2017Updated 8 years ago
- Deeply Embeddable bare-metal C++ standard library☆12Feb 16, 2025Updated last year
- Routine and procedures for STM8 MCUs.☆18Mar 6, 2024Updated 2 years ago
- A mirror of http://mayhewlabs.com/webGerber/☆13Oct 7, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 'Cataclysm Dark Days Ahead' (CDDA) Vehicle + Character Transfer Utility, written in Ruby with Windows executable☆13Feb 17, 2016Updated 10 years ago
- Makefiles for using EFM8 microcontrollers with SDCC☆11Apr 30, 2018Updated 7 years ago
- Command-line interface library for embedded systems☆16Nov 29, 2024Updated last year
- Experimental OpenH264 emscripten build for Gecko experimental JavaScript video decoding API☆15Feb 24, 2017Updated 9 years ago
- A Python library for simulation KiCad schematics using Spice☆11Oct 3, 2018Updated 7 years ago
- Online gerber file viewer. All rendering is client side.☆12Oct 3, 2020Updated 5 years ago
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago