0
I Use This!
Moderate Activity
Analyzed about 17 hours ago. based on code collected about 17 hours ago.

Project Summary

Verification framework for higher-order functional programs

Tags

No tags have been added

In a Nutshell, stainless verification framework...

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
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    data presented on the Open Hub is available through our API
About Project Security

Languages

Languages?height=75&width=75
HTML
53%
Scala
39%
CSS
6%
8 Other
2%

30 Day Summary

Mar 15 2021 — Apr 14 2021

12 Month Summary

Apr 14 2020 — Apr 14 2021
  • 258 Commits
    Down -218 (45%) from previous 12 months
  • 11 Contributors
    Up + 4 (57%) from previous 12 months