openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
Projects
People
Projects
Organizations
Forums
Roberto Bagnara
http://www.cs.unipr.it/~bagnara/
Contributions
Analyzed
4 months
ago
Parma Polyhedra Library
6087 Commits
in mostly C++
Analyzed
about 1 year
ago. based on code collected
about 1 year
ago.
SWI-Prolog
Affiliated with BUGSENG srl
82 Commits
in mostly C
Analyzed
4 months
ago. based on code collected
5 months
ago.
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree
