😇 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!☆53Feb 21, 2020Updated 6 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☆18Mar 1, 2026Updated last week
- AST - Extractor for LLVM☆18Feb 23, 2021Updated 5 years ago
- ☆17Jul 23, 2022Updated 3 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆31Updated this week
- A Typeable-free implementation of extensible effects☆26Aug 3, 2017Updated 8 years ago
- LLVM-based type and memory allocation tracking sanitizer☆56Feb 17, 2026Updated 2 weeks 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
- Allocation benchmarks☆31Jul 6, 2016Updated 9 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
- Automatically re-export Haskell modules.☆32Updated this week
- Tasty integration for the Hedgehog property testing library☆38Dec 17, 2025Updated 2 months ago
- Lexer and parser generators for Standard ML, OCaml, and Haskell.☆38Aug 19, 2022Updated 3 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Testing Intermediate Representations for Binary Analysis (ASE '17)☆82Dec 5, 2018Updated 7 years ago
- An interactive Ruby shell that can also be used as a Unix shell replacement☆10May 16, 2011Updated 14 years ago
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- Templating engine based on shell interpolation☆32Apr 29, 2017Updated 8 years ago
- Experimental compiler/UI components in Rust.☆38Aug 22, 2018Updated 7 years ago
- stack based virtual machine interpreter and a C compiler☆12May 9, 2025Updated 10 months ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- Gate between git and mediawiki☆31Jan 5, 2014Updated 12 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 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
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- SIGPLAN website☆13Updated this week
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- Implementation of TraFix (automatic trainable decompiler based on NMT) as published in ArXiv☆40Nov 23, 2019Updated 6 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated 2 months ago
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- Java and Scala client libraries for Concord☆13Feb 15, 2017Updated 9 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago