A

algebraically-indexed-types

Settings | Report Duplicate

0

I Use This!

Inactive

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

Project Summary

Repository for documents and experiments to do with algebraically-indexed types

Tags

No tags have been added

In a Nutshell, algebraically-indexed-types...

...
has had 236 commits made by 4 contributors
representing 30,197 lines of code
...
is mostly written in Postscript
with a very well-commented source code
...
has a young, but established codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 7 years of effort (COCOMO model)
starting with its first commit in May, 2012
ending with its most recent commit over 10 years ago

Quick Reference

Homepage
Download

Code Locations:

https://github.com/bobatkey/alge...

Similar Projects:

Become the first manager for algebraically-indexed-types

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
anyone with an Open Hub account can update a project's tags
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

TeX/LaTeX	46%
Postscript	36%
coq	18%
2 Other	<1%

30 Day Summary

Sep 3 2024 — Oct 3 2024

0 Commits
0 Contributors

12 Month Summary

Oct 3 2023 — Oct 3 2024

0 Commits
0 Contributors

Most Recent Contributors

	Andrew Kennedy		Bob Atkey
	Robert Atkey		unknown

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!