0
I Use This!
Moderate Activity
Analyzed 4 minutes ago. based on code collected about 12 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
  • ...
    data presented on the Open Hub is available through our API
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    you can embed statistics from Open Hub on your site
About Project Security

30 Day Summary

Apr 20 2024 — May 20 2024

12 Month Summary

May 20 2023 — May 20 2024
  • 230 Commits
    Down -303 (56%) from previous 12 months
  • 7 Contributors
    Down 0 (0%) from previous 12 months