H

holbert

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Analyzed about 20 hours 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 over 1 year 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...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
55% of companies leverage OSS for production infrastructure
...
anyone with an Open Hub account can update a project's tags

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

May 9 2026 — Jun 8 2026

0 Commits
0 Contributors

12 Month Summary

Jun 8 2025 — Jun 8 2026

0 Commits
Down -9 (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!