skimo

Leuven, Belgium
 

Managed Projects

Integer Set Library

Claimed by Polly Labs Analyzed about 3 hours 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]

260K lines of code

5 current contributors

over 2 years since last commit

15 users on Open Hub

Inactive
0.0
 
I Use This

Polyhedral Extraction Tool

Claimed by Polly Labs Analyzed about 12 hours ago

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

20.8K lines of code

1 current contributors

about 2 months since last commit

9 users on Open Hub

Very Low Activity
0.0
 
I Use This

nvi

  Analyzed about 9 hours ago

The Berkeley vi editor

90.1K lines of code

0 current contributors

over 3 years since last commit

8 users on Open Hub

Inactive
4.8
   
I Use This

barvinok

Claimed by Polly Labs Analyzed about 13 hours 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

11 months since last commit

4 users on Open Hub

Very Low Activity
0.0
 
I Use This

isa

  Analyzed about 5 hours ago

19K lines of code

1 current contributors

12 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This
Licenses: No declared licenses

ppcg

Claimed by Polly Labs Analyzed 1 day ago

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

12K lines of code

1 current contributors

12 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This