H

HoTT-Agda

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed 2 days ago. based on code collected 2 days 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 almost 4 years ago

Quick Reference

Homepage
Download

Code Locations:

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

Similar Projects:

Become the first manager for HoTT-Agda

This Project has No vulnerabilities Reported Against it

Did You Know...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
you can embed statistics from Open Hub on your site
...
55% of companies leverage OSS for production infrastructure
...
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

shell script	92%
Make	8%

30 Day Summary

Dec 26 2022 — Jan 25 2023

0 Commits
0 Contributors

12 Month Summary

Jan 25 2022 — Jan 25 2023

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!