H

holbert

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Analyzed 1 day ago. based on code collected 2 days 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 nobody
with decreasing 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 almost 2 years ago

Quick Reference

Code Locations:

https://github.com/liamoc/holbert

Similar Projects:

Become the first manager for holbert

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
data presented on the Open Hub is available through our API
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
compare projects before you chose one to use

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

Sep 16 2026 — Oct 16 2026

0 Commits
0 Contributors

12 Month Summary

Oct 16 2025 — Oct 16 2026

0 Commits
Down -1 (100%) from previous 12 months
0 Contributors
Down -1 (100%) from previous 12 months

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!