llvm-ir
Here are 27 public repositories matching this topic...
Haskell bindings for LLVM
-
Updated
Jul 18, 2024 - LLVM
Pretty printer for LLVM AST to Textual IR
-
Updated
Apr 24, 2022 - LLVM
Scalable Validator for Binary Lifters
-
Updated
Jun 28, 2020 - LLVM
Formal semantics of LLVM IR in K
-
Updated
Jun 25, 2015 - LLVM
A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
-
Updated
Aug 1, 2022 - LLVM
An LLVM IR dataset for data-driven compiler optimization research
-
Updated
Oct 1, 2024 - LLVM
Visualization of LLVM IR
-
Updated
Aug 2, 2018 - LLVM
This is the experimental custom LLVM backend for the intel 8085 microprocessor.
-
Updated
Aug 4, 2024 - LLVM
betterIR is my personal research and development lab where I implement various compiler optimizations as out-of-tree LLVM passes.
-
Updated
Jun 26, 2023 - LLVM
Formal Verification of Hyperledger Fabric Chaincode. Example for cross border inter-bank asset transfer in fabric 1.4
-
Updated
Apr 24, 2022 - LLVM
This project performs semantic analysis for the language "MiniJava" and converts it into the intermediate representation used by the LLVM compiler project using JTB and JavaCC.
-
Updated
Jan 19, 2023 - LLVM
Improve this page
Add a description, image, and links to the llvm-ir topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the llvm-ir topic, visit your repo's landing page and select "manage topics."