0
I Use This!
High Activity
Analyzed about 7 hours ago. based on code collected about 7 hours ago.

Project Summary

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. Automatically generate straight-line C programs from symbolic Haskell functions.

Tags

No tags have been added

Badges

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
  • ...
    check out hot projects on the Open Hub
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can embed statistics from Open Hub on your site
About Project Security

30 Day Summary

Aug 19 2020 — Sep 18 2020

12 Month Summary

Sep 18 2019 — Sep 18 2020
  • 434 Commits
    Down -643 (59%) from previous 12 months
  • 10 Contributors
    Up + 2 (25%) from previous 12 months