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

Project Summary

Build your hardware, easily!

Tags

No tags have been added

Project Security

Vulnerabilities per Version ( last 10 releases )

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
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
About Project Security

Languages

coq
81%
C
7%
30 Other
12%

30 Day Summary

Jul 12 2025 — Aug 11 2025

12 Month Summary

Aug 11 2024 — Aug 11 2025
  • 1193 Commits
    Down -957 (44%) from previous 12 months
  • 87 Contributors
    Down -24 (21%) from previous 12 months