0
I Use This!
Activity Not Available
Analyzed almost 2 years ago. based on code collected over 2 years 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...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    you can embed statistics from Open Hub on your site

Languages

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

30 Day Summary

May 22 2019 — Jun 21 2019

12 Month Summary

Jun 21 2018 — Jun 21 2019
  • 1204 Commits
    Up + 67 (5%) from previous 12 months
  • 29 Contributors
    Up + 7 (31%) from previous 12 months