skimo

Leuven, Belgium

Managed Projects

Integer Set Library

I

Claimed by Polly Labs Analyzed 28 days 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]

261K lines of code

5 current contributors

about 1 month since last commit

15 users on Open Hub

Very Low Activity

I Use This

Mostly written in C

Tags c library math polyhedra

Polyhedral Extraction Tool

P

Claimed by Polly Labs Analyzed 27 days 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

6 months since last commit

9 users on Open Hub

Very Low Activity

I Use This

Mostly written in C

Licenses: BSD-2-Clause

nvi

N

Analyzed 26 days ago

The Berkeley vi editor

90.2K lines of code

0 current contributors

about 2 months since last commit

8 users on Open Hub

Low Activity

I Use This

Mostly written in C

Licenses: BSD-3-Clause

Tags bsd editors programming unix

barvinok

B

Claimed by Polly Labs Analyzed 26 days 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

6 months since last commit

4 users on Open Hub

Very Low Activity

I Use This

Mostly written in C

Tags c c++ counting library math polyhedra

Polyhedral Process Networks

P

Analyzed 2 months ago

39.2K lines of code

1 current contributors

4 months since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in C++

Licenses: No declared licenses

ppcg

P

Claimed by Polly Labs Analyzed 28 days 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

about 1 month since last commit

1 users on Open Hub

Very Low Activity

I Use This

Mostly written in C