Hermetica

I Use This!

Activity Not Available

Analyzed over 3 years ago. based on code collected over 3 years ago.

Project Summary

Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.

In a Nutshell, Hermetica...

...
has had 230 commits made by 1 contributors
representing 39,303 lines of code
...
is mostly written in C
with an average number of source code comments
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 10 years of effort (COCOMO model)
starting with its first commit in November, 2003
ending with its most recent commit over 13 years ago

Quick Reference

Homepage

(3 Locations)

Become the first manager for Hermetica

This Project has No vulnerabilities Reported Against it

Did You Know...

...
55% of companies leverage OSS for production infrastructure
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
by exploring contributors within projects, you can view details on every commit they have made to that project