halo-project / haloLinks
π Wholly Adaptive LLVM Optimizer
β28Updated 4 years ago
Alternatives and similar repositories for halo
Users that are interested in halo are comparing it to the libraries listed below
Sorting:
- SSA vs ANFβ43Updated 10 years ago
- Runtime support for LLVM's GC Statepointsβ43Updated 5 years ago
- Parser for the llvm bitcode formatβ59Updated 2 weeks ago
- Stratified synthesis for learning machine code instruction semanticsβ37Updated last week
- A Gallina compiler with C++17 as an intermediate representationβ43Updated 4 years ago
- Formally verified implementation of Alive in Leanβ36Updated 2 years ago
- Formal semantics of LLVM IR in Kβ47Updated 7 years ago
- Pillar compiler, Pillar runtime, garbage collector.β23Updated 2 years ago
- β88Updated 3 years ago
- Haskell implementation of P4F Control-Flow Analysisβ21Updated 3 years ago
- Inline, type safe X86-64 assembly programming in Agdaβ70Updated 6 years ago
- An higher-level LLVM binding for OCamlβ14Updated 8 years ago
- Unison's source codeβ108Updated last year
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"β21Updated last year
- Strict Haskell-like programming language that compiles to LLVMβ70Updated 5 years ago
- Gallina to Bedrock2 compilation toolkitβ59Updated this week
- Higher-order optimization libraryβ76Updated 2 years ago
- The Higher-Order Intermediate Representationβ156Updated this week
- Experiments about intermediate representations in compilersβ25Updated 13 years ago
- GoNative project: formal machines models in Coqβ36Updated 8 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme proβ¦β30Updated 9 years ago
- A graduate seminar on SMT solving and solver-aided systemsβ27Updated 3 years ago
- β54Updated last year
- Symbolic execution engine for toy language.β51Updated 7 years ago
- Spatial layout specifications for memory management systems.β19Updated 4 years ago
- Copy of the CCHR Constraint Handling Rules implementation in Cβ20Updated 3 years ago
- Best of POPL (BOP) Reading Group Memoirsβ67Updated 3 years ago
- A language-generic implementation of equality saturation in Haskellβ21Updated 6 years ago
- Pretty printer for LLVM AST to Textual IRβ69Updated 2 months ago
- A synthesis-enabled solver for relational logicβ28Updated 7 years ago