☆18Sep 18, 2021Updated 4 years ago
Alternatives and similar repositories for autosarcpp14-checker
Users that are interested in autosarcpp14-checker 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☆37Nov 8, 2019Updated 6 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆35Jul 4, 2017Updated 8 years ago
- AUTOSAR C++ Guidelines - but accessible☆11May 18, 2024Updated 2 years ago
- A simplified model of programming in autosar☆72Mar 16, 2021Updated 5 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Examples of clang-tidy plugins☆36Apr 8, 2025Updated last year
- A list of backdoor samples I find online.☆13Dec 16, 2019Updated 6 years ago
- Program Synthesis☆15May 17, 2021Updated 5 years ago
- ☆27Mar 10, 2023Updated 3 years ago
- “悟道”源代码☆21Aug 24, 2021Updated 4 years ago
- Learning and Teaching Software Analysis and Verification via SVF☆26Jul 24, 2025Updated 10 months ago
- ☆11May 17, 2026Updated last week
- OrqueIO main source code repository☆37Updated this week
- rpc plugin for polix☆10Feb 11, 2022Updated 4 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.
- An Application That Backs Up Files To Cloud Storage Using Akka.NET☆10Oct 3, 2018Updated 7 years ago
- List of research papers of ICSE, FSE, ASE, and ISSTA since 2020.☆37Dec 29, 2025Updated 5 months ago
- 这又是一个原来在 CodePlex 上重要的WPF纯托管的3D工具库项目。☆12Feb 6, 2022Updated 4 years ago
- Demo for Aurix TC275 Chip☆15Mar 31, 2018Updated 8 years ago
- Sender-Receiver communication based on Unix domain sockets☆12Oct 21, 2016Updated 9 years ago
- A .NET Global Tool for automating marketing content across social channels.☆13Feb 10, 2026Updated 3 months ago
- 《C++ STL与泛型编程高级-侯捷》视频中关于各种容器的测试代码☆37Nov 22, 2020Updated 5 years ago
- A task focused web browser for working with Claude.ai chat to smooth the workflow for projects☆16Sep 3, 2025Updated 8 months ago
- Orce is a lightweight multiplayer online game server framework. Using a lock-free programming techniques, such as: atomic, spinlock, conc…☆14Jul 16, 2015Updated 10 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.
- For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and L…☆27Aug 27, 2025Updated 9 months ago
- Archive of MetaStuff lib☆12Nov 30, 2022Updated 3 years ago
- a tool for rapidly developing animations where frames are described using svg elements à la react 🙃☆10Jul 28, 2024Updated last year
- A set of useful libraries for .net☆10May 2, 2026Updated 3 weeks ago
- A .NET 6.0 Blazor solution for a MAUI Blazor, Blazor WebAssembly App and a Blazor Server App, sharing common code and components, impleme…☆11Dec 16, 2023Updated 2 years ago
- General purpose virtual actor framework for peer-to-peer microservices or in-process communication within the same app with possible exte…☆14Jun 11, 2025Updated 11 months ago
- 3D Tools for the Windows Presentation Foundation (WPF)☆12Dec 27, 2024Updated last year
- 大话设计模式Java示例☆10Aug 19, 2017Updated 8 years ago
- Tobi is a free, open source, multimedia book production authoring tool for creating human narrated talking books synchronized with text a…☆10May 29, 2023Updated 3 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.
- SwizlyPeasy.Gateway is a simple API gateway based on YARP Reverse Proxy. This gateway should support OIDC authentication and service disc…☆10Aug 8, 2024Updated last year
- ☆50Mar 18, 2019Updated 7 years ago
- ☆12Dec 21, 2018Updated 7 years ago
- Game engine built on SkiaSharp. Used in Scribble Buddies!☆10Dec 8, 2022Updated 3 years ago
- fork of https://svg2xaml.codeplex.com☆10Dec 22, 2021Updated 4 years ago
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 7 years ago
- ☆25Dec 30, 2025Updated 4 months ago