P

pfmorris

Settings | Report Duplicate

0

I Use This!

Activity Not Available

Analyzed about 3 years ago. based on code collected about 3 years ago.

Project Summary

toward a port of Bob Neveln's proofcheck work (based on Morris's logic) to scala
http://proofcheck.org/

Tags

No tags have been added

In a Nutshell, pfmorris...

...
has had 101 commits made by 1 contributors
representing 4,908 lines of code
...
is mostly written in Scala
with a very 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 March, 2013
ending with its most recent commit almost 10 years ago

Quick Reference

Add some Project Link(s)

Code Locations:

https://bitbucket.org/DanC/pfmorris

Similar Projects:

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
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

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

Scala	90%
Python	10%

30 Day Summary

Jul 19 2020 — Aug 18 2020

0 Commits
0 Contributors

12 Month Summary

Aug 18 2019 — Aug 18 2020

0 Commits
0 Contributors

Most Recent Contributors

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!