intel / safe-arithmeticLinks
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.
☆92Updated last month
Alternatives and similar repositories for safe-arithmetic
Users that are interested in safe-arithmetic are comparing it to the libraries listed below
Sorting:
- A C++20 implementation of safe (wrap around) integers following MISRA C++ rules☆79Updated last year
- Extensions to the C++ standard library. This library implements polyfills to enable library functionality from later versions of C++ to b…☆90Updated last week
- type-safe and low-boilerplate bit level serialization☆121Updated 3 years ago
- ☆76Updated last month
- ☆39Updated last week
- C++ library aiming to replace all built-in integers☆93Updated last week
- MrDocs: A Clang/LLVM tool for building reference documentation from C++ code and javadoc comments.☆93Updated last month
- Bit containers, sequences, and views for everyone. 🕷️☆124Updated 2 years ago
- A C++ type to trace calls to special member functions.☆102Updated last year
- Rust 2018 and C++20, "constexpr everything", AUTOSAR compliant header-only library intended to support the development of critical system…☆101Updated 3 years ago
- An implementation of C++ "senders and receivers" async framework suitable for embedded platforms.☆252Updated last week
- Libusb wrapper for Asio☆64Updated 2 years ago
- value types for composite class design - with allocators☆51Updated last week
- Modern C++ Stack and Static based allocators + a Custom Aligned allocator☆99Updated last year
- Replacement for std::optional with efficient memory usage and additional features.☆47Updated 3 months ago
- constexpr implementation of SHA-2 and SHA-3 family of hashes☆215Updated 4 months ago
- Basic concurrency primitives for bare metal firmware running on single core microcontroller systems.☆32Updated last week
- Zoo library☆124Updated last month
- Peter Sommerlad's Simple Strong Typing☆35Updated last year
- C++20 Unit-Testing library☆47Updated last month
- Organization, documentation, etc. for the Beman Project,☆85Updated 3 weeks ago
- Metadata to support C++ packaging☆38Updated 2 years ago
- Meta programming library designed for compilation speed.☆171Updated 3 years ago
- Proposed SG14 status_code for the C++ standard☆67Updated last week
- ☆50Updated 8 months ago
- Finite State Machine implementation using std::variant☆87Updated 5 years ago
- C++20 Compact Tuple Tools☆50Updated 3 weeks ago
- ☆86Updated last year
- P0323 & P2505 std::expected simple implementation☆40Updated 2 months ago
- SPY - C++ Information Broker☆154Updated last month