Clang plugin with several static analysis checks
☆29Jul 16, 2025Updated last year
Alternatives and similar repositories for itiviti-cpp-analyzer
Users that are interested in itiviti-cpp-analyzer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Self-implemented persistent RAG-storage.☆14Jun 27, 2025Updated last year
- My survey of literature on compilers for AI models☆13Aug 9, 2021Updated 5 years ago
- A REPL for a toy language called Hi, developed as a homework for the functional programming course at ITMO University.☆11Jan 31, 2022Updated 4 years ago
- Tool for detecting violations of ordering axioms in STL comparators☆20Mar 30, 2025Updated last year
- An implementation of Horton hash tables☆10Aug 24, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Collection of cadastral maps of different countries☆11Dec 13, 2021Updated 4 years ago
- Python wrapper for RugCheck API☆11Feb 11, 2025Updated last year
- A library for procedural generation with L-system-derived imperative language☆10May 14, 2018Updated 8 years ago
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- Collections of services for search data from passengers lists and emigrants records☆12Jun 3, 2022Updated 4 years ago
- ☆19Jul 13, 2021Updated 5 years ago
- ☆12Mar 11, 2016Updated 10 years ago
- ☆17Oct 16, 2026Updated 2 weeks ago
- Markup source code showing optimizations☆36Jan 21, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Repository for sharing my projects related to C++ concurrency☆27Oct 16, 2026Updated last week
- An implementation of the Skein hash function for ARMv7 with NEON☆14Nov 16, 2011Updated 14 years ago
- https://0xor0ne.github.io/☆12Jul 17, 2023Updated 3 years ago
- CMake scripts used in Bro☆10Mar 18, 2023Updated 3 years ago
- This project deploys an AWS Batch infrastructure for Quant Research.☆13Oct 16, 2026Updated 2 weeks ago
- A TUI application, accumulating working time, for Linux.☆10Nov 27, 2021Updated 4 years ago
- C library plusifier☆11Nov 13, 2021Updated 4 years ago
- A very simple tool that generates multiple spellings of a phone number (to effectively search for it using the OR operator and quotes)☆20Dec 30, 2021Updated 4 years ago
- The C++ "buck" operator (aka the dollar sign operator)☆11Jun 21, 2015Updated 11 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.
- Corporative registry worldwide catalog. 63 countries☆16Jun 24, 2022Updated 4 years ago
- strace2seccomp - generates libseccomp policies from strace logs☆10Feb 19, 2020Updated 6 years ago
- ☆20Updated this week
- ☆11Aug 7, 2026Updated 2 months ago
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 11 years ago
- C++20 library for binary serialization of arbitrary aggregates or tuples. The library also unifies work with tuples and aggregates☆14Feb 26, 2022Updated 4 years ago
- ☆18Dec 13, 2021Updated 4 years ago
- Static Analysis Framework for Modular Analyses☆14Jul 29, 2026Updated 3 months ago
- UNIX/Linux System Programming Lecture Notes☆13May 21, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆56Jan 25, 2025Updated last year
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- A parallel find tool for Linux☆16Dec 20, 2025Updated 10 months ago
- Generate graphviz dot files from InfiniBand topology dumps.☆17Feb 11, 2024Updated 2 years ago
- PIRA - Automatic Instrumentation Refinement☆18Mar 28, 2024Updated 2 years ago