O

orbekk's mjollnir

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 21 hours ago. based on code collected about 23 hours ago.

Project Summary

Thor's Hammer

Tags

No tags have been added

In a Nutshell, orbekk's mjollnir...

...
has had 14 commits made by 2 contributors
representing 5,912 lines of code
...
is mostly written in coq
with a very low number of source code comments
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 2 years of effort (COCOMO model)
starting with its first commit in May, 2010
ending with its most recent commit over 14 years ago

Quick Reference

Code Locations:

https://github.com/orbekk/mjollnir

Similar Projects:

Become the first manager for orbekk's mjollnir

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
...
search using multiple tags to find exactly what you need
...
use of OSS increased in 65% of companies in 2016
...
learn about Open Hub updates and features on the Open Hub blog

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

coq	100%
Make	<1%

30 Day Summary

Sep 5 2024 — Oct 5 2024

0 Commits
0 Contributors

12 Month Summary

Oct 5 2023 — Oct 5 2024

0 Commits
0 Contributors

Most Recent Contributors

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!