1
I Use This!
Moderate Activity
Analyzed about 11 hours ago. based on code collected about 14 hours 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...

  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    search using multiple tags to find exactly what you need
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    data presented on the Open Hub is available through our API
About Project Security

Languages

TypeScript
94%
6 Other
6%

30 Day Summary

Jan 8 2023 — Feb 7 2023

12 Month Summary

Feb 7 2022 — Feb 7 2023
  • 214 Commits
    Up + 141 (193%) from previous 12 months
  • 12 Contributors
    Up + 5 (71%) from previous 12 months

Ratings

1 user rates this project:
3.0
   
3.0/5.0
Click to add your rating
  
Review this Project!