0
I Use This!
Activity Not Available
Analyzed about 1 month ago. based on code collected about 1 month ago.

Project Summary

A Visual Studio Code extension for Coq [maintainer=@maximedenes]

Tags

No tags have been added

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities

Did You Know...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    compare projects before you chose one to use
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
About Project Security

Languages

Languages?height=75&width=75
TypeScript
94%
6 Other
6%

30 Day Summary

Apr 20 2021 — May 20 2021

12 Month Summary

May 20 2020 — May 20 2021
  • 109 Commits
    Down -45 (29%) from previous 12 months
  • 9 Contributors
    Down -7 (43%) from previous 12 months