0
I Use This!
High Activity
Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

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

Tags

No tags have been added

In a Nutshell, mn200's HOL...

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
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    check out hot projects on the Open Hub

Languages

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

30 Day Summary

Sep 20 2018 — Oct 20 2018

12 Month Summary

Oct 20 2017 — Oct 20 2018
  • 960 Commits
    Up + 77 (8%) from previous 12 months
  • 29 Contributors
    Up + 4 (16%) from previous 12 months