openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
Claude Marché
Orsay, France
http://www.lri.fr/~marche/
Contributions
Analyzed
about 17 hours
ago
Coq proof assistant
46 Commits
in mostly OCaml
Analyzed
about 18 hours
ago. based on code collected
2 days
ago.
M
Mlpost
Affiliated with INRIA
The analysis for this contribution has been scheduled.
W
Why
Affiliated with Univ Paris Sud & INRIA
The analysis for this contribution has been scheduled.
Why3
Affiliated with INRIA
3760 Commits
in mostly XML
Analyzed
about 21 hours
ago. based on code collected
2 days
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
