Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Very Low Activity
Analyzed 25 minutes ago. based on code collected about 2 hours ago.

Project Summary

A graphical interactive proof assistant designed for education

Tags

proof_assistant

In a Nutshell, holbert...

Quick Reference

Project Links:

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...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    data presented on the Open Hub is available through our API

Code

Lines of Code

Activity

Commits per Month

Community

Languages

Haskell 		64%
HTML 		28%
CSS 		8%
2 Other 		<1%

30 Day Summary

Jun 24 2026 — Jul 24 2026

12 Month Summary

Jul 24 2025 — Jul 24 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!