P

Proof Substitute for the Humdrum Toolkit

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 17 hours ago. based on code collected about 19 hours ago.

Project Summary

Reimplementation of the proof command from the Humdrum toolkit in Java

Tags

No tags have been added

In a Nutshell, Proof Substitute for the Humdrum Toolkit...

...
has had 3 commits made by 1 contributors
representing 11,108 lines of code
...
is mostly written in Java
with an average number of source code comments
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 3 years of effort (COCOMO model)
starting with its first commit in May, 2010
ending with its most recent commit about 15 years ago

Quick Reference

Code Locations:

:pserver:anonymous:@kern-proof.c...

Similar Projects:

Become the first manager for Proof Substitute for the Humdrum Toolkit

This Project has No vulnerabilities Reported Against it

Did You Know...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
data presented on the Open Hub is available through our API
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
search using multiple tags to find exactly what you need

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

XML	39%
Java	61%

30 Day Summary

May 18 2025 — Jun 17 2025

0 Commits
0 Contributors

12 Month Summary

Jun 17 2024 — Jun 17 2025

0 Commits
0 Contributors

Most Recent Contributors

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!