A system for programming formally-verified loop transformations.
☆16Jan 31, 2019Updated 7 years ago
Alternatives and similar repositories for loopy
Users that are interested in loopy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆60Dec 9, 2025Updated 3 months ago
- Data Dependence Analyzer in the Polyhedral Model☆21Nov 2, 2023Updated 2 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- The web framework nobody asked for, wants, or needs.☆20Dec 14, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Light-weight Performance Variance Detection for Production-run Parallel Applications☆16Aug 28, 2023Updated 2 years ago
- Feature generation for adaptive gradient-domain path tracing☆10May 22, 2019Updated 6 years ago
- Running the code you want to write as fast as the code you have to write☆140Oct 16, 2016Updated 9 years ago
- ☆12Feb 25, 2025Updated last year
- MLIR tools and dialect for GraphBLAS☆18Mar 30, 2022Updated 3 years ago
- Dockerized Swift for TensorFlow and advanced usage examples.☆14Apr 26, 2019Updated 6 years ago
- 📥 🎯 (1,4/4) an MLIR-based toolchain with Vitis HLS LLVM input/output targeting FPGAs.☆14Nov 15, 2022Updated 3 years ago
- MLIR Bindings for Swift☆13Apr 9, 2021Updated 4 years ago
- ☆10Apr 17, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The CEED high-order Field and Mesh Specification☆16Sep 10, 2021Updated 4 years ago
- Small PDF manipulation scripts☆15Apr 16, 2025Updated 11 months ago
- FlipIt: An LLVM Based Fault Injector for HPC☆14May 14, 2021Updated 4 years ago
- Streaming JavaScript PLY parser☆16Jan 10, 2019Updated 7 years ago
- Automatic Differentiation for high-performance stencil loops☆13Mar 25, 2021Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"☆19Updated this week
- verbs profiling library☆22Sep 22, 2023Updated 2 years ago
- variant type for CUDA☆12Nov 14, 2015Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- Xilinx Modifications to Halide☆13May 3, 2021Updated 4 years ago
- If you put the question to me and asked me to reduce my answer to a single sentence, I should say that anything which gratifies one's int…☆11Sep 15, 2022Updated 3 years ago
- CSCI-5636 Numerical Solution of Partial Differential Equations☆17Dec 8, 2018Updated 7 years ago
- OpenCL ICD Loader (free software)☆89Jan 23, 2026Updated 2 months ago
- Useful tools for managing your crypto-money on bittrex, and detecting potential trading signals.☆12Jun 28, 2017Updated 8 years ago
- Skeletonide is a parallel implementation of Zhang-Suen morphological thinning algorithm written in Halide-lang. Use it for fast skeletoni…☆14Oct 21, 2020Updated 5 years ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆53May 20, 2015Updated 10 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 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.
- Bilingual sentence aligner (Gale & Church, 1993)☆14Jan 8, 2026Updated 2 months ago
- py.test plugin to list Python warnings in pytest report☆24Sep 29, 2020Updated 5 years ago
- Steklov Spectral Geometry for Extrinsic Shape Analysis☆12Aug 9, 2024Updated last year
- ☆16Jul 24, 2024Updated last year
- Simple and fast HearthStone card browser☆12Nov 30, 2016Updated 9 years ago
- A C++ framework for working with the CPython API.☆23Feb 15, 2017Updated 9 years ago
- Source code for "Gradient-domain Photon Density Estimation", Eurographics 2017☆15Apr 24, 2023Updated 2 years ago