☆19Sep 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:
- Clang-Tidy checks inspired by MISRA C 2023 and MISRA C 2012☆35May 13, 2026Updated last month
- @ 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
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 8 years ago
- Example that shows how a service-oriented communication API can be implemented on top of iceoryx☆44Jun 22, 2022Updated 3 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.
- Following AUTOSAR guidelines can be easy and free!☆22Jan 16, 2024Updated 2 years ago
- AUTOSAR C++ Guidelines - but accessible☆11May 18, 2024Updated 2 years ago
- Code similarity checker using clang.(AST approach)☆17Feb 17, 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
- Diagnostic Client library for diagnosing Automotive ECU, based on Adaptive Autosar Standard☆68Mar 23, 2025Updated last year
- Program Synthesis☆15May 17, 2021Updated 5 years ago
- “悟道”源代码☆21Aug 24, 2021Updated 4 years ago
- Learning and Teaching Software Analysis and Verification via SVF☆26Jul 24, 2025Updated 10 months ago
- ☆11Jun 7, 2026Updated last week
- 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.
- OrqueIO main source code repository☆37Updated this week
- A Java program synthesizer.☆23Mar 28, 2019Updated 7 years ago
- rpc plugin for polix☆10Feb 11, 2022Updated 4 years ago
- Autosar Configurator for ECU GUI based configuration, checking and code generation.☆159Jun 4, 2023Updated 3 years ago
- A fast, cross-platform game engine for 2D and 3D.☆10Mar 12, 2025Updated last year
- 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
- 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
- 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 .NET Global Tool for automating marketing content across social channels.☆13Feb 10, 2026Updated 4 months ago
- 《C++ STL与泛型编程高级-侯捷》视频中关于各种容器的测试代码☆37Nov 22, 2020Updated 5 years ago
- ☆38Feb 27, 2025Updated last year
- A task focused web browser for working with Claude.ai chat to smooth the workflow for projects☆16Sep 3, 2025Updated 9 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
- 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
- a tool for rapidly developing animations where frames are described using svg elements à la react 🙃☆10Jul 28, 2024Updated last year
- 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
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆74Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- General purpose virtual actor framework for peer-to-peer microservices or in-process communication within the same app with possible exte…☆14Jun 11, 2025Updated 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…☆11May 29, 2023Updated 3 years ago
- 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
- A Python Library implementing the SOME/IP Protocol☆85Feb 26, 2026Updated 3 months ago
- ☆12Dec 21, 2018Updated 7 years ago
- fork of https://svg2xaml.codeplex.com☆10Dec 22, 2021Updated 4 years ago