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
OCaml
Jean-Christophe Filliatre
http://www.lri.fr/~filliatr/
Account Summary
Analyzed
1 day
ago
Projects Used
O
Most experienced in
OCaml
First commit
over 25 years ago
Most recent commit
over 1 year ago
Has made
1475 commits
Joined Open Hub
about 14 years ago
Contributed to
4 projects
Development History
Commits by Project
Jun 2017 - Present
Commits by Language
Jun 2017 - Present
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
