skimo

Leuven, Belgium
 

Managed Projects

Integer Set Library

Claimed by Polly Labs Analyzed about 2 months ago

isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, computing the lexicographic minimum using ... [More] parametric integer programming, coalescing and parametric vertex enumeration. It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials. [Less]

261K lines of code

5 current contributors

3 months since last commit

15 users on Open Hub

Activity Not Available
0.0
 
I Use This

Polyhedral Extraction Tool

Claimed by Polly Labs Analyzed about 2 months ago

Pet extracts a polyhedral model from C source using LLVM/clang to parse C code and isl to represent sets and relations.

20.9K lines of code

1 current contributors

8 months since last commit

9 users on Open Hub

Activity Not Available
0.0
 
I Use This

nvi

  Analyzed about 2 months ago

The Berkeley vi editor

90.2K lines of code

0 current contributors

4 months since last commit

8 users on Open Hub

Activity Not Available
4.8
   
I Use This

barvinok

Claimed by Polly Labs Analyzed about 2 months ago

barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes.

49.5K lines of code

2 current contributors

8 months since last commit

4 users on Open Hub

Activity Not Available
0.0
 
I Use This

Polyhedral Process Networks

  Analyzed 4 months ago

39.2K lines of code

1 current contributors

6 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Licenses: No declared licenses

ppcg

Claimed by Polly Labs Analyzed about 2 months ago

The Polyhedral Parallel Code Generator. PPCG is a source-to-source compiler generating OpenCL or CUDA GPGPU code from sequential programs.

12.1K lines of code

1 current contributors

3 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This