Alternatives and similar repositories for halo

Users that are interested in halo are comparing it to the libraries listed below

• jacobstanley / ssa-anf
  SSA vs ANF
  ☆43Updated 10 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆22Updated last year
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 2 weeks ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated 2 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆37Updated last week
• UlfNorell / x86-agda
  Inline, type safe X86-64 assembly programming in Agda
  ☆70Updated 6 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆60Updated this week
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• vellvm / ollvm
  An higher-level LLVM binding for OCaml
  ☆14Updated 8 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆160Updated this week
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 5 months ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 5 years ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 8 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆26Updated 13 years ago
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆28Updated last month
• unison-code / unison
  Unison's source code
  ☆108Updated last year
• mangpo / greenthumb
  ☆89Updated 3 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆58Updated 6 years ago
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆15Updated last year
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 3 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• unison-code / uni-instr-sel
  Universal instruction selection
  ☆12Updated 7 years ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆171Updated last week
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 15 years ago
• smowton / llpe
  ☆54Updated last year