halo-project / haloLinks
😇 Wholly Adaptive LLVM Optimizer
☆27Updated 4 years ago
Alternatives and similar repositories for halo
Users that are interested in halo are comparing it to the libraries listed below
Sorting:
- Benchmark repository of polyglot effect handler examples☆24Updated last month
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 4 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 weeks ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Formally verified implementation of Alive in Lean☆36Updated last year
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Encoding of GHC Core inside MLIR☆18Updated 4 years ago
- SSA vs ANF☆42Updated 9 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 months ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- Parser for the llvm bitcode format☆59Updated 2 months ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated 2 weeks ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated last year
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 5 years ago
- A static analysis tool for C.☆27Updated 5 years ago
- ☆27Updated last month
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆22Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Tiny verified SAT-solver☆27Updated 3 years ago
- Inline, type safe X86-64 assembly programming in Agda☆68Updated 6 years ago
- Dafny for Metatheory of Programming Languages☆25Updated last week
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆24Updated 4 years ago