Ohloh by Black Duck

 Follow @ Meta   Join Now

skimo

Managed Projects

Showing page 1 of 1

nvi

The Berkeley vi editor

4.8
   
  0 reviews  |  7 users  |  64,529 lines of code  |  0 current contributors  |  Analyzed 5 days ago
  bsd programming editors unix
 
 

Integer Set Library

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]

0
 
  0 reviews  |  4 users  |  88,042 lines of code  |  4 current contributors  |  Analyzed 2 days ago
  polyhedra c library math
 
 

Polyhedral Extraction Tool

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

0
 
  0 reviews  |  4 users  |  8,517 lines of code  |  1 current contributor  |  Analyzed 1 day ago
 
 

barvinok

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

0
 
  0 reviews  |  2 users  |  49,877 lines of code  |  1 current contributor  |  Analyzed 5 days ago
  polyhedra math c c++ library counting
 
 

isa

0
 
  0 reviews  |  1 user  |  22,176 lines of code  |  2 current contributors  |  Analyzed 9 days ago
 
 

ppcg

0
 
  0 reviews  |  0 users  |  5,238 lines of code  |  3 current contributors  |  Analyzed about 1 hour ago
 
 
 
 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.