xinuos / gabiView external linksLinks
☆41Sep 4, 2025Updated 5 months ago
Alternatives and similar repositories for gabi
Users that are interested in gabi are comparing it to the libraries listed below
Sorting:
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated 6 months ago
- gcc plugin to discover optimization passes used during compilation☆20Feb 10, 2021Updated 5 years ago
- LLVM backend for the J2 Core (Hitachi SuperH SH-2 clone)☆24Jan 3, 2018Updated 8 years ago
- A determinizing tracer using Ptrace☆39Sep 20, 2020Updated 5 years ago
- Standalone portable header-based implementation of FORTIFY_SOURCE=3☆36Jan 5, 2026Updated last month
- Language Server for RPM spec files☆42Updated this week
- Python script to detect and remove suspicious likes from Instagram☆10Oct 21, 2020Updated 5 years ago
- Connect-ng is a tool provided by SUSE that helps systems register with the SUSE Customer Center (SCC) or with a local Repository Mirrorin…☆11Updated this week
- [Push Mirror] A rewrite of cowsay in python☆14Sep 2, 2025Updated 5 months ago
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- Performant source for RPM repositories metadata https://github.com/gridhead/metasource☆12Updated this week
- 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
- Template files to start a new kernel module RPM from scratch☆14Dec 5, 2025Updated 2 months ago
- A blazingly fast python library for serializing/deserializing python objects to/from binary files☆10Dec 27, 2025Updated last month
- Userspace Tos (and MiNT) emulator for Linux.☆11Oct 21, 2023Updated 2 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 6 years ago
- A proof-of-concept implementation of suspend time memory encryption.☆10Feb 26, 2020Updated 5 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 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
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 9 months ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Nov 24, 2019Updated 6 years ago
- (Inactive) A prototype/draft of a Clang compiler plugin that enables randomization of fields within structures for compile-time hardening…☆10Feb 14, 2019Updated 7 years ago
- ☆15May 6, 2021Updated 4 years ago
- Beautiful Repository apache2☆11Oct 13, 2020Updated 5 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- A signature updater and optional private mirroring server for ClamAV☆10Aug 2, 2017Updated 8 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 6, 2026Updated last week
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- List of EOS peers for mainnet in config.ini format, and other relevant information to connect to the future mainnet☆12Jul 8, 2018Updated 7 years ago
- ☆11Oct 17, 2023Updated 2 years ago
- ☆14Sep 30, 2023Updated 2 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 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