halo-project / haloView external linksLinks
😇 Wholly Adaptive LLVM Optimizer
☆28Aug 29, 2020Updated 5 years ago
Alternatives and similar repositories for halo
Users that are interested in halo are comparing it to the libraries listed below
Sorting:
- autotuning C++, just-in-time!☆52Feb 21, 2020Updated 5 years ago
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 6 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 4 years ago
- CaPI: Compiler-assisted Performance Instrumentation☆18Feb 6, 2026Updated last week
- ☆17Jul 23, 2022Updated 3 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Feb 2, 2026Updated 2 weeks ago
- AST - Extractor for LLVM☆18Feb 23, 2021Updated 4 years ago
- Haskell library for encoding-free interaction with Unix system. Use RawFilePath (ByteString) instead of FilePath (String)☆18Jan 18, 2026Updated 3 weeks ago
- A Typeable-free implementation of extensible effects☆26Aug 3, 2017Updated 8 years ago
- ☆21May 8, 2015Updated 10 years ago
- Efficient Path Profiling using LLVM☆18Oct 25, 2017Updated 8 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 3 years ago
- Anonymous extensible records and variant types☆26Sep 1, 2021Updated 4 years ago
- LLVM Assembler adding Debug Information at IR Level.☆33Oct 31, 2018Updated 7 years ago
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 4 years ago
- Probabilistic data structures in Pharo Smalltalk.☆30May 14, 2019Updated 6 years ago
- Tasty integration for the Hedgehog property testing library☆38Dec 17, 2025Updated 2 months ago
- Automatically re-export Haskell modules.☆32Jan 14, 2026Updated last month
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Lexer and parser generators for Standard ML, OCaml, and Haskell.☆38Aug 19, 2022Updated 3 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆82Dec 5, 2018Updated 7 years ago
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- Experimental compiler/UI components in Rust.☆38Aug 22, 2018Updated 7 years ago
- An interactive Ruby shell that can also be used as a Unix shell replacement☆10May 16, 2011Updated 14 years ago
- stack based virtual machine interpreter and a C compiler☆12May 9, 2025Updated 9 months ago
- SIGPLAN website☆13Updated this week
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Gate between git and mediawiki☆31Jan 5, 2014Updated 12 years ago
- An simplest PE parser, which list all import and export entries☆12Oct 11, 2018Updated 7 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Layout solver☆12May 31, 2017Updated 8 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- building a game engine using rust-lang from scratch!☆10May 25, 2017Updated 8 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago