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

Project Summary

Verification system for effectful programs

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

  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    search using multiple tags to find exactly what you need
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    data presented on the Open Hub is available through our API
About Project Security

Languages

OCaml
58%
Ruby
32%
12 Other
10%

30 Day Summary

Jan 9 2023 — Feb 8 2023

12 Month Summary

Feb 8 2022 — Feb 8 2023
  • 2487 Commits
    Up + 363 (17%) from previous 12 months
  • 23 Contributors
    Down -1 (4%) from previous 12 months