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.
☆90Updated this week
Alternatives and similar repositories for safe-arithmetic:
Users that are interested in safe-arithmetic are comparing it to the libraries listed below
- Extensions to the C++ standard library. This library implements polyfills to enable library functionality from later versions of C++ to b…☆81Updated this week
- A C++20 implementation of safe (wrap around) integers following MISRA C++ rules☆77Updated last year
- ☆36Updated this week
- Bit containers, sequences, and views for everyone. 🕷️☆122Updated 2 years 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
- C++20 Compact Tuple Tools☆49Updated 3 months ago
- value types for composite class design - with allocators☆45Updated this week
- Basic concurrency primitives for bare metal firmware running on single core microcontroller systems.☆30Updated this week
- MrDocs: A Clang/LLVM tool for building reference documentation from C++ code and javadoc comments.☆86Updated this week
- Meta programming library designed for compilation speed.☆171Updated 2 years ago
- SPY - C++ Information Broker☆154Updated this week
- ☆76Updated 3 months ago
- Zoo library☆121Updated 3 weeks ago
- type-safe and low-boilerplate bit level serialization☆122Updated 3 years ago
- ☆61Updated 6 months ago
- Metadata to support C++ packaging☆38Updated 2 years ago
- Various documents and code related to proposals for WG21☆65Updated 7 months ago
- An implementation of C++ "senders and receivers" async framework suitable for embedded platforms.☆229Updated this week
- C++20 Static Branch library☆53Updated last week
- Modern C++ Stack and Static based allocators + a Custom Aligned allocator☆96Updated 11 months ago
- constexpr implementation of SHA-2 and SHA-3 family of hashes☆210Updated 2 months ago
- Organization, documentation, etc. for the Beman Project☆74Updated last week
- Framework for Writing C++ Committee Papers☆132Updated 2 months ago
- The Fancy Named Parameters Library☆31Updated this week
- C++20 Unit-Testing library☆44Updated 5 months ago
- Peter Sommerlad's Simple Strong Typing☆34Updated last year
- Replacement for std::optional with efficient memory usage and additional features.☆46Updated 2 weeks ago
- ☆82Updated last year
- A C++ type to trace calls to special member functions.☆99Updated 10 months ago
- C++20 State Machine library☆199Updated 6 months ago