T

The Incredible Proof Machine

Settings | Report Duplicate

0

I Use This!

Very Low Activity

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

Project Summary

The Incredible Proof Machine

Tags

No tags have been added

In a Nutshell, The Incredible Proof Machine...

...
has had 704 commits made by 23 contributors
representing 26,859 lines of code
...
is mostly written in JavaScript
with an average number of source code comments
...
has a well established, mature codebase
maintained by one developer
with increasing Y-O-Y commits
...
took an estimated 7 years of effort (COCOMO model)
starting with its first commit in July, 2015
ending with its most recent commit 8 months ago

Quick Reference

Code Locations:

https://github.com/nomeata/incre...

Similar Projects:

Licenses

MIT License

Permitted

Commercial Use

Modify

Distribute

Sub-License

Private Use

Forbidden

Hold Liable

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

...
55% of companies leverage OSS for production infrastructure
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
you can embed statistics from Open Hub on your site

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

JavaScript	82%
CSS	8%
Haskell	6%
4 Other	4%

30 Day Summary

Oct 1 2025 — Oct 31 2025

0 Commits
0 Contributors

12 Month Summary

Oct 31 2024 — Oct 31 2025

1 Commits
1 Contributors

Most Recent Contributors

	nomeata		Roger Peppe
	Richard Kiss		yuxuanchiadm
	Junyan Xu		Andrew Schepler

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!