0
I Use This!
Very Low Activity
Analyzed about 16 hours ago. based on code collected about 16 hours ago.

Project Summary

Agda interaction in vim

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
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    data presented on the Open Hub is available through our API

30 Day Summary

Sep 16 2018 — Oct 16 2018

12 Month Summary

Oct 16 2017 — Oct 16 2018
  • 11 Commits
    Up + 1 (10%) from previous 12 months
  • 5 Contributors
    Up + 2 (66%) from previous 12 months