Parametric Integer Programming Library
☆15Jan 23, 2024Updated 2 years ago
Alternatives and similar repositories for piplib
Users that are interested in piplib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The CLooG Code Generator in the Polyhedral Model☆52Jun 26, 2023Updated 2 years ago
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆32Jul 19, 2024Updated last year
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆25Dec 19, 2022Updated 3 years ago
- Data Dependence Analyzer in the Polyhedral Model☆21Nov 2, 2023Updated 2 years ago
- Hope this could be helpful when you're struggling with finding a suitable PhD/postDoc position.☆10Aug 14, 2023Updated 2 years ago
- Build-to-Order BLAS☆12Apr 9, 2019Updated 6 years ago
- repository for notes and data from machine learning studies☆13Dec 16, 2019Updated 6 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 5 years ago
- Chunky Loop Interaction☆25Aug 13, 2019Updated 6 years ago
- Compile Rust into PTX☆14Jan 1, 2020Updated 6 years ago
- a few utilities to analyze Caffe prototxt files☆16Sep 27, 2017Updated 8 years ago
- PolyBench/C from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆20Jan 26, 2016Updated 10 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆40Jul 22, 2022Updated 3 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆131Jul 22, 2022Updated 3 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 4 years ago
- ☆12May 23, 2018Updated 7 years ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆56Mar 31, 2017Updated 8 years ago
- A JIT compiler implemented with MLIR/LLVM for faster query processing in SQLite☆20Jan 3, 2023Updated 3 years ago
- Play with MLIR right in your browser☆138May 25, 2023Updated 2 years ago
- An open-source library crafting efficient algorithms for Mixed Integer Linear Programming (MILP) challenges.☆12May 4, 2024Updated last year
- Fast Axiomatic Attribution for Neural Networks (NeurIPS*2021)☆15Feb 24, 2026Updated last month
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Jun 29, 2021Updated 4 years ago
- Speeding up and debittering Caffe by adding Halide☆18May 12, 2015Updated 10 years ago
- Optiflop measures the optimally achievable FLOPs for mathematical operations on various platforms.☆14Nov 1, 2024Updated last year
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆30Apr 26, 2022Updated 3 years ago
- A C++ expression -> x86 JIT☆18Mar 20, 2017Updated 9 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- Pluto: An automatic polyhedral parallelizer and locality optimizer☆326Mar 13, 2026Updated last week
- ☆36Apr 20, 2021Updated 4 years ago
- ☆12Dec 22, 2024Updated last year
- DNE4py is a python library that aims to run and visualize many different evolutionary algorithms with high performance using mpi4py. It a…☆10Oct 13, 2020Updated 5 years ago
- Implementation of the iPiano algorithm for non-convex and non-smooth optimization as described in [1].☆12Nov 28, 2018Updated 7 years ago
- ☆10Sep 16, 2020Updated 5 years ago
- Feasibility Pump Collection☆16Jul 6, 2023Updated 2 years ago
- Open source release of the Piko graphics pipeline compiler.☆15May 5, 2015Updated 10 years ago
- This is a read-only mirror of the CRAN R package repository. Ckmeans.1d.dp — Optimal, Fast, and Reproducible Univariate Clustering☆18Aug 19, 2023Updated 2 years ago
- BBO optimiser☆11Feb 11, 2020Updated 6 years ago
- Extensions for Eli Bendersky's pycparser☆91Updated this week