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

Project Summary

Live Graph infrastructure for Synthesis and Simulation

Tags

No tags have been added

Quick Reference

BSD 3-clause "New" or "Revised" License
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

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...

  • ...
    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
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    compare projects before you chose one to use
About Project Security

Languages

coq
49%
C++
47%
10 Other
4%

30 Day Summary

Jan 6 2025 — Feb 5 2025

12 Month Summary

Feb 5 2024 — Feb 5 2025
  • 104 Commits
    Down -357 (77%) from previous 12 months
  • 4 Contributors
    Down -4 (50%) from previous 12 months