openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
Projects
People
Projects
Organizations
Forums
H
HoTT-Agda
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
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
Project Links:
Homepage
Download
Code Locations:
https://github.com/HoTT/HoTT-Agda
Similar Projects:
Managers:
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!
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree