0
I Use This!
Activity Not Available
Analyzed 7 months ago. based on code collected about 1 year 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
  • ...
    data presented on the Open Hub is available through our API
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    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