H

holbert

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Analyzed 1 day ago. based on code collected 1 day 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 9 months 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...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
data presented on the Open Hub is available through our API
...
65% of companies leverage OSS to speed application development in 2016
...
you can embed statistics from Open Hub on your site

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

Jul 30 2025 — Aug 29 2025

0 Commits
0 Contributors

12 Month Summary

Aug 29 2024 — Aug 29 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!