H

HoTT-Agda

Settings | Report Duplicate

0

I Use This!

Inactive

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

Project Summary

Development of homotopy type theory in Agda

Tags

No tags have been added

Badges

In a Nutshell, HoTT-Agda...

...
has had 1,351 commits made by 31 contributors
representing 102 lines of code
...
is mostly written in shell script
with a low number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in March, 2011
ending with its most recent commit over 2 years ago

Quick Reference

Homepage
Download

Code Locations:

git://github.com/HoTT/HoTT-Agda.git

Similar Projects:

Become the first manager for HoTT-Agda

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
...
65% of companies leverage OSS to speed application development in 2016
...
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

Languages?height=75&width=75

shell script	92%
Make	8%

30 Day Summary

Jun 29 2021 — Jul 29 2021

0 Commits
0 Contributors

12 Month Summary

Jul 29 2020 — Jul 29 2021

0 Commits
0 Contributors

Most Recent Contributors

	Ulrik Buchholtz		Tim Baumann
	...aman Choudhury		favonia
	Tim J. Baumann		...Prieto-Cubides

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!