A study of undefined behavior on various platforms, compilers, and tools
☆20Sep 2, 2025Updated last year
Alternatives and similar repositories for undefined_behavior_study
Users that are interested in undefined_behavior_study are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CNQ3 for Quake III Champions☆15Nov 30, 2023Updated 2 years ago
- Configuration files that allow cppcheck to provide better static analysis results☆18Aug 7, 2018Updated 8 years ago
- SixtySecondsCV☆16Jul 23, 2020Updated 6 years ago
- ☆12Jul 22, 2025Updated last year
- GStreamer en- and decoder elements implementing FECFRAME-compatible forward error correction☆13Aug 4, 2015Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated 2 weeks ago
- Mathematical Expression Evaluator And Jit Compiler for C++ Language☆23Jan 8, 2014Updated 12 years ago
- gypified libfaad C library☆16Apr 12, 2013Updated 13 years ago
- Helpshift developer documentation☆13Jul 30, 2026Updated 2 months ago
- Get started building today.☆12Oct 3, 2026Updated last week
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- Makes my C++ projects easier and faster to develop☆10Jun 15, 2022Updated 4 years ago
- x86 Microkernel☆16Apr 1, 2020Updated 6 years ago
- Template (Compile-time) Turing Machine in C++20☆12Jan 31, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Helper scripts for C++ static analysis☆20Jul 20, 2021Updated 5 years ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Nov 30, 2016Updated 9 years ago
- Scalable GPU Kernel Fission/Fusion Transformation for Memory-Bound Kernels☆14Aug 26, 2015Updated 11 years ago
- VP8 RTP streaming☆19Aug 19, 2014Updated 12 years ago
- A helper library to implement the Gentoo Package Manager Specification☆10Oct 29, 2025Updated 11 months ago
- Some experiments with SMT solvers and GIMPLE IR☆81Sep 28, 2026Updated last week
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- A library-based attempt to increase our chances for achieving AI Alignment with an emergent AGI.☆22Apr 4, 2023Updated 3 years ago
- golang library to parse AMD Firmware Structures☆15Oct 17, 2020Updated 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.
- This repository contains the script to install gentoo via proot in termux. Much inspired by ubuntu-in-termux by MFDGaming☆17Feb 24, 2025Updated last year
- GDBUS simple examples☆12Apr 11, 2016Updated 10 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆36Jul 4, 2017Updated 9 years ago
- compiler for fortran stencils using verified lifting,☆20Apr 5, 2022Updated 4 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 6 years ago
- Research library for compile time optimization☆13Dec 16, 2018Updated 7 years ago
- ☆18Jun 7, 2026Updated 4 months ago
- git merge driver for db/structure.sql of Rails projects☆33Sep 30, 2026Updated last week
- Page du cours preuves assistées par ordinateur 2021☆17May 16, 2025Updated last year
- 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.
- "Essential Information about Algorithms and Data Structures"☆14Oct 18, 2017Updated 8 years ago
- A Portage repo browser GUI (kuroo/porthole/eix alternative). Use this to look up information about installed packages, packages to upgrad…☆18Updated this week
- XOrCryptEx lightweight C Utility/Algorithm☆13Mar 3, 2022Updated 4 years ago
- Comprehensive guide to harden your GitHub repos. Covers 2FA, secure authentication, code reviews, monitoring & more. For developers, main…☆18Nov 21, 2024Updated last year
- ☆20Nov 29, 2016Updated 9 years ago
- Proof of Concept implementation + Brief Tutorial of the Meltdown and Spectre attacks [+ Flush/Realod]☆17Feb 1, 2019Updated 7 years ago
- IPMACC is a framework for translating OpenACC for C API to CUDA, OpenCL, and Intel ISPC.☆15Apr 21, 2026Updated 5 months ago