Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lead to security vulnerabilities. The project is detailed in the paper "Ironclad C++: A Library-Augmented Type-Safe Subset of C++."
☆19Jun 21, 2023Updated 2 years ago
Alternatives and similar repositories for ironclad
Users that are interested in ironclad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Yet Another C++ Library☆24Jan 23, 2024Updated 2 years ago
- Type preserving dynamic heterogeneous containers for C++.☆18Dec 6, 2019Updated 6 years ago
- IEEE1588v2 Precision Time Protocol implementation☆13Jun 21, 2021Updated 4 years ago
- Hardware design files for the PMOD based MUX☆13Aug 22, 2019Updated 6 years ago
- ☆10May 23, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Uart module written in chisel☆13Feb 19, 2016Updated 10 years ago
- The ParaView Tutorial LaTeX document☆13May 11, 2015Updated 10 years ago
- An example LLVM pass which can run automatically in clang.☆38Aug 4, 2015Updated 10 years ago
- Add clang-tidy checks to a target using CMake☆16May 31, 2016Updated 9 years ago
- Julia bindings for AMD's clFFT library☆16Aug 22, 2023Updated 2 years ago
- Minimal subset of Catch2 C++ test framework☆26Oct 2, 2018Updated 7 years ago
- C++公用基础库,仿照chromium-base,提供一些基本的功能实现,可以在项目中方便导入,提高开发效率.☆28Mar 2, 2021Updated 5 years ago
- Vagrant file and provisioning scripts for a Xubuntu 16.04 desktop machine with C++ development environment.☆20Jul 22, 2020Updated 5 years ago
- Qt Browser for Qt 4 and 5☆12Jan 26, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Tools to convert Kicad intermediate netlist to HDL block diagram netlist☆12Jul 21, 2016Updated 9 years ago
- A Sass compiler in Rust☆26Jan 28, 2019Updated 7 years ago
- Finite Element Solvers for Atomic Structure Calculations☆11Apr 10, 2026Updated last week
- A project used for a meetup talk about getting started with rust & wasm☆15Apr 18, 2020Updated 6 years ago
- The sources of the web LFortran GUI interface☆15Feb 21, 2026Updated last month
- The IDK (Industrial Development Kit) library!☆37Jan 14, 2026Updated 3 months ago
- Slides for my C++Now 2017 talk☆58May 20, 2017Updated 8 years ago
- Benchmarking library for fortran code☆12Updated this week
- Lightweight C++14 utility library. (Modernized, stripped and cleaned-up version of SSVUtils.)☆35Mar 29, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Aug 4, 2017Updated 8 years ago
- Scripts for creating a simple, lightweight Clang based toolchain for iOS and Mac OS X☆13May 19, 2019Updated 6 years ago
- Graphical User Interface for remote monitoring and top-level control of UAVs.☆13Jul 31, 2025Updated 8 months ago
- The "code" for squarectf.com☆13Jan 22, 2025Updated last year
- Golang wrapper for RTI DDS☆14Sep 8, 2020Updated 5 years ago
- Modern C++ development experience library☆40Jan 24, 2026Updated 2 months ago
- Fortran pre-processor☆19Jan 27, 2026Updated 2 months ago
- A copy of Atari's coin-op assembler and tools, as well as coin-op Centipede☆22Jan 27, 2024Updated 2 years ago
- Interface to call existing cryptography libraries.☆12Jan 30, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Oct 5, 2019Updated 6 years ago
- This is the website repo listing awesome applications built with Slint (https://github.com/slint-ui/slint)☆21May 12, 2025Updated 11 months ago
- Runtime Reflection library for Rust 0.10-pre☆19Jan 2, 2015Updated 11 years ago
- A C# library that can synthesize plausible sounds from physics-driven events☆15Sep 14, 2023Updated 2 years ago
- Header only C++14 micro benchmark☆14Jan 4, 2016Updated 10 years ago
- libcoring is a C++ network library in Proactor, and it is based on the new io_uring syscall of linux and coroutine in C++ 20. It's stop c…☆14May 16, 2022Updated 3 years ago
- Salvia - Modular Haskell HTTP server.☆24Sep 4, 2010Updated 15 years ago