KORE to llvm translation
☆42Oct 15, 2025Updated 4 months ago
Alternatives and similar repositories for llvm-backend
Users that are interested in llvm-backend are comparing it to the libraries listed below
Sorting:
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- Cheat Engine alternative written in Rust☆12Nov 15, 2022Updated 3 years ago
- Experimental LLVM backend for Android applications (HGraph IR-to-IR translation).☆26Nov 29, 2022Updated 3 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Sep 12, 2018Updated 7 years ago
- Diffs for structured data☆16Dec 26, 2018Updated 7 years ago
- ☆10Oct 30, 2016Updated 9 years ago
- An LLVM clone modified for use in RetDec and associated tools.☆19Feb 3, 2025Updated last year
- A utility library to bridge llvm and mlir gaps.☆15Jan 8, 2025Updated last year
- Reflective actor-based language☆28Jan 2, 2017Updated 9 years ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 years ago
- The LLVM Infrastructure Working Group☆18Aug 31, 2022Updated 3 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- Specter paths for working with formatted EDN and Clojure code☆17Jul 31, 2017Updated 8 years ago
- ☆18Mar 28, 2023Updated 2 years ago
- Header-only llvm::Expected<T>☆38Oct 14, 2019Updated 6 years ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Sep 30, 2024Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆52Jul 20, 2025Updated 7 months ago
- A union-find data structure for Clojure☆16May 4, 2020Updated 5 years ago
- LLVM Dialects Library☆23Jan 12, 2026Updated last month
- Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.htm…☆19Jun 12, 2023Updated 2 years ago
- A Clojure coding tool☆19Aug 3, 2024Updated last year
- Production Performance Telemetry☆21Oct 26, 2020Updated 5 years ago
- A collection of specter navigators: tools for finding and modifying stuff in structured data☆17May 5, 2023Updated 2 years ago
- RPC client/server for Irmin☆19Aug 5, 2021Updated 4 years ago
- A Factor-inspired, concatenative DSL for Clojure☆99Jul 28, 2013Updated 12 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- A terminal emulator in pure clojure☆63May 10, 2025Updated 9 months ago
- Formal semantics of Rust☆23Apr 9, 2021Updated 4 years ago
- Stack-based esoteric programming language☆18Jan 31, 2025Updated last year
- Synthesis of loop-free programs☆24Feb 18, 2026Updated last week
- Rag-bag of utilities and scripts that do strange things with ELF files☆18Nov 25, 2025Updated 3 months ago
- ☆22Apr 17, 2023Updated 2 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Oct 29, 2021Updated 4 years ago
- LLVM meets Code Property Graphs☆96Feb 27, 2021Updated 5 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆16May 27, 2022Updated 3 years ago