intel / safe-arithmetic
Safe arithmetic library for C++20 and above. Safe arithmetic ensures correctness of arithmetic operations at compile-time. It protects against overflow, underflow, divide by zero, and out-of-bounds index access. This provides both functional correctness as well as greater protection against related security threats.
☆91Updated 3 weeks ago
Alternatives and similar repositories for safe-arithmetic:
Users that are interested in safe-arithmetic are comparing it to the libraries listed below
- ☆38Updated 2 weeks ago
- Extensions to the C++ standard library. This library implements polyfills to enable library functionality from later versions of C++ to b…☆85Updated last week
- A C++20 implementation of safe (wrap around) integers following MISRA C++ rules☆77Updated last year
- Basic concurrency primitives for bare metal firmware running on single core microcontroller systems.☆31Updated 2 weeks ago
- ☆75Updated 3 weeks ago
- C++20 Compact Tuple Tools☆49Updated 3 weeks ago
- Rust 2018 and C++20, "constexpr everything", AUTOSAR compliant header-only library intended to support the development of critical system…☆100Updated 3 years ago
- Meta programming library designed for compilation speed.☆171Updated 3 years ago
- Zoo library☆122Updated this week
- Modern C++ Stack and Static based allocators + a Custom Aligned allocator☆98Updated last year
- Replacement for std::optional with efficient memory usage and additional features.☆46Updated 2 months ago
- An implementation of C++ "senders and receivers" async framework suitable for embedded platforms.☆244Updated 2 weeks ago
- value types for composite class design - with allocators☆50Updated 2 weeks ago
- Bit containers, sequences, and views for everyone. 🕷️☆123Updated 2 years ago
- SPY - C++ Information Broker☆154Updated last month
- The Fancy Named Parameters Library☆31Updated 2 weeks ago
- C++ library aiming to replace all built-in integers☆93Updated 2 months ago
- A C++ type to trace calls to special member functions.☆101Updated last year
- C++20 Unit-Testing library☆47Updated 2 weeks ago
- Organization, documentation, etc. for the Beman Project,☆84Updated this week
- Coroutine support tools☆35Updated last month
- MrDocs: A Clang/LLVM tool for building reference documentation from C++ code and javadoc comments.☆90Updated 3 weeks ago
- Polymorphic memory resource for real-time applications.☆67Updated last year
- a small lightweight std::execution work-alike☆65Updated last month
- Metadata to support C++ packaging☆38Updated 2 years ago
- Finite State Machine implementation using std::variant☆87Updated 5 years ago
- type-safe and low-boilerplate bit level serialization☆122Updated 3 years ago
- Shared infrastructure for CI/CD for projects using CMake & CPM, primarily with C++.☆23Updated 2 weeks ago
- A modern C++-20 testing framework.☆51Updated 11 months ago
- low-level library for minimizing the size of your types☆113Updated 5 years ago