0
I Use This!
High Activity
Analyzed about 2 hours ago. based on code collected about 2 hours ago.

Project Summary

Updated copy of https://hol.svn.sourceforge.net/svnroot/hol/

Tags

No tags have been added

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    data presented on the Open Hub is available through our API
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

Languages?height=75&width=75
OCaml
39%
TeX/LaTeX
34%
Lisp
11%
12 Other
16%

30 Day Summary

Nov 13 2018 — Dec 13 2018

12 Month Summary

Dec 13 2017 — Dec 13 2018
  • 972 Commits
    Up + 46 (4%) from previous 12 months
  • 29 Contributors
    Up + 2 (7%) from previous 12 months