😇 Wholly Adaptive LLVM Optimizer
☆28Aug 29, 2020Updated 6 years ago
Alternatives and similar repositories for halo
Users that are interested in halo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.☆10Jul 2, 2026Updated 4 months ago
- visualize an AST serialized as YAML☆13Mar 13, 2023Updated 3 years ago
- A library for identifying types of stack, global, and heap allocations in LLVM IR using only LLVM's debug information and metadata.☆15Jun 9, 2026Updated 5 months ago
- autotuning C++, just-in-time!☆53Feb 21, 2020Updated 6 years ago
- AST - Extractor for LLVM☆18Feb 23, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Jul 23, 2022Updated 4 years ago
- ☆18May 1, 2020Updated 6 years ago
- Control.Lens.Action☆17Mar 12, 2023Updated 3 years ago
- ☆10Sep 24, 2021Updated 5 years ago
- A collection of SML utility modules that are useful for compiler writing.☆11Oct 18, 2026Updated 3 weeks ago
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 5 years ago
- a small flask app that serves dynamic badge images based on data from Jenkins CI☆11Nov 20, 2020Updated 5 years ago
- Lexer and parser generators for Standard ML, OCaml, and Haskell.☆39Aug 19, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- accessible data visualizations with Vega Lite☆17Oct 30, 2026Updated 2 weeks ago
- A bot for the popular mobile game HQ Trivia☆10Mar 14, 2018Updated 8 years ago
- LLVM Plugin to Instrument Global Memory Accesses in CUDA Kernels☆10Jun 8, 2020Updated 6 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- Stabilizer: Rigorous Performance Evaluation☆27Aug 15, 2023Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 6 years ago
- Work-in-progress Unicode paragraph layout library written in Rust☆13Jun 7, 2018Updated 8 years ago
- This is a small mirror of s7 scheme, the official distribution is here:☆18Sep 30, 2020Updated 6 years ago
- P4-LLVM is an LLVM based compiler for P4☆43Apr 1, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Rust BFRT interface to configure Intel Tofino switches.☆11Jul 10, 2026Updated 4 months ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆53Jun 13, 2018Updated 8 years ago
- Visualization synthesis☆15May 12, 2021Updated 5 years ago
- 🎩 Define page content and behavior in CSS. (???)☆16Sep 6, 2020Updated 6 years ago
- This repo is now stale; all changes have been integrated into upstream LLVM. (Was: A proof of concept implementation of proposed support…☆28Aug 4, 2014Updated 12 years ago
- POC of K8s Nodeport service using BPF☆14Dec 5, 2022Updated 3 years ago
- C/C++ preprocessor.☆14Jan 21, 2025Updated last year
- HAMT implementation whose sub-trees can be shared over threads☆10Oct 19, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Code associated with a research project for experimenting with different ways of surfacing stylistic, analytic, or visual discrepancies i…☆14Dec 12, 2024Updated last year
- Prometheus docker exporter☆14Oct 23, 2026Updated 2 weeks ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆18Jul 14, 2022Updated 4 years ago
- An llvm pass for counting global uncoalesced acceses for cuda code via dynamic analysis.☆14Nov 17, 2018Updated 7 years ago
- Juniper's P4 Runtime server implementation.☆18Sep 24, 2018Updated 8 years ago
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- A library for creating gRPC messages and communicating with devices exposing a Barefoot Runtime gRPC interface.☆13May 30, 2025Updated last year
Are these results useful?