Pocket KrHyper

I Use This!

Activity Not Available

Analyzed 8 months ago. based on code collected about 1 year ago.

Project Summary

The mobile reasoner Pocket KrHyper is an automated theorem proving library for first order logic (and description logic) running on J2ME (Mobile Java) phones.

In a Nutshell, Pocket KrHyper...

...
has had 3 commits made by 1 contributors
representing 4,812 lines of code
...
is mostly written in Java
with a well-commented source code
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 2 years of effort (COCOMO model)
starting with its first commit in December, 2005
ending with its most recent commit about 19 years ago

Quick Reference

Homepage

(2 Locations)

Become the first manager for Pocket KrHyper

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

About Project Vulnerability Report

Did You Know...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
anyone with an Open Hub account can update a project's tags
...
65% of companies leverage OSS to speed application development in 2016
...
learn about Open Hub updates and features on the Open Hub blog

About Project Security