Parametric Integer Programming Library
☆15Aug 28, 2026Updated 2 months 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☆52Aug 28, 2026Updated 2 months ago
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆33Sep 14, 2026Updated last month
- Data Dependence Analyzer in the Polyhedral Model☆21Nov 2, 2023Updated 3 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆21May 13, 2020Updated 6 years ago
- Chunky Loop Interaction☆25Aug 13, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Compile Rust into PTX☆14Jan 1, 2020Updated 6 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)☆42Jul 22, 2022Updated 4 years ago
- Inline formatting for a list, e.g., collaborative rich text☆11Sep 4, 2024Updated 2 years ago
- ☆30Oct 16, 2022Updated 4 years ago
- Syntax highlighting for Alda - a music programming language.☆14Sep 5, 2021Updated 5 years ago
- ☆12Jul 9, 2021Updated 5 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 5 years ago
- Pluto: An automatic polyhedral parallelizer and locality optimizer☆345Oct 26, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A service for launching containerized processes on cloud infrastructure.☆12Nov 16, 2023Updated 2 years ago
- Quickstart for Spatial language☆35Oct 1, 2020Updated 6 years ago
- Regulating the imbalance for the container relocation problem-A deep reinforcement learning approach☆14Sep 28, 2025Updated last year
- ☆12May 23, 2018Updated 8 years ago
- Polyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model☆13Jan 19, 2020Updated 6 years ago
- Play with MLIR right in your browser☆138May 25, 2023Updated 3 years ago
- Python wrapper for isl, an integer set library☆87Oct 26, 2026Updated last week
- Software Platform for solving and manipulating multiparametric programs in Python☆45Sep 17, 2025Updated last year
- Optiflop measures the optimally achievable FLOPs for mathematical operations on various platforms.☆14Jul 29, 2026Updated 3 months 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.
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Jul 17, 2019Updated 7 years ago
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆12Jun 29, 2021Updated 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
- Bayesian optimization with DNGO (Deep Networks for Global Optimization)☆11Jun 13, 2017Updated 9 years ago
- Deductive verifier for CUDA☆16Dec 19, 2016Updated 9 years ago
- ☆10Sep 16, 2020Updated 6 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆11May 13, 2014Updated 12 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆75Aug 8, 2021Updated 5 years ago
- ☆10Oct 22, 2019Updated 7 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.
- ☆35Apr 20, 2021Updated 5 years ago
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 12 years ago
- Yet another Polyhedra Compiler for DeepLearning☆19Apr 14, 2023Updated 3 years ago
- Conflict-free Replicated Data Views☆11Sep 1, 2026Updated 2 months ago
- BBO optimiser☆11Feb 11, 2020Updated 6 years ago
- A C++ implementation of Network Simplex Algorithm☆11Nov 12, 2018Updated 7 years ago
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 8 years ago