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
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Moderate Activity
Analyzed
1 day
ago. based on code collected
2 days
ago.
Project Summary
Homotopy type theory
Tags
No tags have been added
Badges
In a Nutshell, HoTT...
...
has had
4,874 commits
made by
82 contributors
representing
80,991 lines of code
...
is
mostly written in coq
with
a very low number of source code comments
...
has
a well established, mature codebase
maintained by
a large development team
with
increasing Y-O-Y commits
...
took an estimated
21 years of effort
(COCOMO model)
starting with its
first commit in March, 2011
ending with its
most recent commit about 1 month
ago
Quick Reference
Project Links:
Homepage
Code Locations:
https://github.com/HoTT/HoTT
Similar Projects:
Managers:
Become the first manager for HoTT
Project Security
Vulnerabilities per Version
( last 10 releases )
There are no reported vulnerabilities
Project Vulnerability Report
Security Confidence Index
Poor security track-record
Favorable security track-record
Vulnerability Exposure Index
Many reported vulnerabilities
Few reported vulnerabilities
About Project Vulnerability Report
Did You Know...
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
learn about Open Hub updates and features on the
Open Hub blog
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
search
using multiple tags to find exactly what you need
About Project Security
Code
Lines of Code
Activity
Commits per Month
Community
Contributors per Month
Languages
coq
98%
7 Other
2%
30 Day Summary
May 9 2023 — Jun 8 2023
0
Commits
0
Contributors
12 Month Summary
Jun 8 2022 — Jun 8 2023
315
Commits
Up
+ 91 (40%)
from previous 12 months
11
Contributors
Down
-6 (35%)
from previous 12 months
Most Recent Contributors
Dan Christensen
Gaëtan Gilbert
Ali Caglayan
...axeraas Flaten
...axeraas Flaten
...Taxerås Flaten
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