openhub.net
Black Duck Software, Inc.
Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
H
holbert
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Activity Not Available
Analyzed
2 months
ago. based on code collected
3 months
ago.
Project Summary
A graphical interactive proof assistant designed for education
Tags
proof_assistant
In a Nutshell, holbert...
...
has had
148 commits
made by
7 contributors
representing
4,246 lines of code
...
is
mostly written in Haskell
with
a very low number of source code comments
...
has
a codebase with a long source history
maintained by
one developer
with
increasing Y-O-Y commits
...
took an estimated
1 years of effort
(COCOMO model)
starting with its
first commit in August, 2020
ending with its
most recent commit 6 months
ago
Quick Reference
Project Links:
Homepage
Code Locations:
https://github.com/liamoc/holbert
Similar Projects:
Managers:
Become the first manager for holbert
This Project has No vulnerabilities Reported Against it
Did You Know...
...
55% of companies leverage OSS for production infrastructure
...
learn about Open Hub updates and features on the
Open Hub blog
...
use of OSS increased in 65% of companies in 2016
...
search
using multiple tags to find exactly what you need
Code
Lines of Code
Activity
Commits per Month
Community
Contributors per Month
Languages
Haskell
64%
HTML
28%
CSS
8%
2 Other
<1%
30 Day Summary
Jan 2 2025 — Feb 1 2025
0
Commits
0
Contributors
12 Month Summary
Feb 1 2024 — Feb 1 2025
9
Commits
1
Contributors
Most Recent Contributors
Liam O'Connor
Chris
Emanon42
rayhanayasmin
s1610748
...rceval-Maxwell
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