A false sharing detection and repair tool
☆14Jan 31, 2026Updated last month
Alternatives and similar repositories for huron
Users that are interested in huron are comparing it to the libraries listed below
Sorting:
- Interprocedural Basic Block Code Layout Optimization☆18Jan 17, 2019Updated 7 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- Creating beautiful gem5 simulations☆49Mar 22, 2021Updated 4 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆24May 4, 2021Updated 4 years ago
- Vstream - Video Analytics pipeline with Hardware based accelerations (dev - stage)☆10Feb 2, 2024Updated 2 years ago
- ☆33Oct 9, 2017Updated 8 years ago
- Fast packet processing using CPUs☆39Jan 23, 2017Updated 9 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- ☆18Dec 4, 2025Updated 2 months ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- SIGPLAN website☆13Updated this week
- Nautilus Aerokernel☆48May 11, 2022Updated 3 years ago
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 10 months ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- ZBTree A Hotness-Aware B+-Tree for Persistent Memory☆17May 4, 2024Updated last year
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- ☆38Feb 6, 2021Updated 5 years ago
- RTL implementation of a ray-tracing GPU☆15Dec 18, 2012Updated 13 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 6 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- ☆15May 6, 2021Updated 4 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- Resources from my class on computer architecture design☆10Apr 25, 2018Updated 7 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 11, 2026Updated 2 weeks ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago