A System for Differential Debugging
☆23Apr 10, 2025Updated 10 months ago
Alternatives and similar repositories for idd
Users that are interested in idd are comparing it to the libraries listed below
Sorting:
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year
- Goal: a website to automatically train and certify compiler researchers and developers☆10Nov 24, 2019Updated 6 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆19Apr 1, 2025Updated 11 months ago
- ☆37Nov 11, 2024Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆17May 2, 2018Updated 7 years ago
- CaPI: Compiler-assisted Performance Instrumentation☆18Updated this week
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- Design a full DOF humanoid robot for research use incrementally, halving the cost until the BOM is $1000.☆21May 30, 2025Updated 9 months ago
- Distribute a wasm SPA as HTML by wrapping it as a polyglot "html+wasm+zip"☆17Feb 11, 2026Updated 2 weeks ago
- CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.☆17Jun 19, 2024Updated last year
- ☆20Jun 22, 2025Updated 8 months ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- An optimizing decompiler (modified to use remill semantics)☆30Jan 4, 2019Updated 7 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 4 months ago
- LLVM-based type and memory allocation tracking sanitizer☆56Feb 17, 2026Updated last week
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆50Feb 17, 2026Updated last week
- Terminating is exciting☆22Nov 3, 2016Updated 9 years ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆23Dec 5, 2025Updated 2 months ago
- The Landscape of NixOS and associated projects [maintainer=@cafkafk]☆33Apr 10, 2024Updated last year
- ☆28Sep 17, 2025Updated 5 months ago
- Rutgers APL correctly rounded math library☆32Mar 11, 2021Updated 4 years ago
- Test suite for C/C++/Fortran compilers developed by Fujitsu☆38Feb 12, 2026Updated 2 weeks ago
- Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).☆26Nov 29, 2022Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- Criticality-aware Framework for Modeling Computer Performance☆33Dec 15, 2024Updated last year
- A determinizing tracer using Ptrace☆39Sep 20, 2020Updated 5 years ago
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆79Feb 20, 2026Updated last week
- Bring mdb walkers to gdb, also add other helpful commands.☆34Feb 4, 2025Updated last year
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆84Updated this week
- A benchmark for standalone WebAssembly☆38Aug 6, 2024Updated last year
- Documenting Wasm SIMD performance☆37Jun 8, 2020Updated 5 years ago
- Source for papers and proposals☆75Aug 31, 2025Updated 6 months ago
- ARIES: An Agile MLIR-Based Compilation Flow for Reconfigurable Devices with AI Engines (FPGA 2025 Best Paper Nominee)☆59Updated this week
- Department of Energy Standard Utility Library☆33Jan 30, 2026Updated last month
- GoNative project: formal machines models in Coq☆36Aug 3, 2017Updated 8 years ago
- Dalamud Plugin that synchronizes your character data to one main character.☆15Jul 11, 2024Updated last year