D

distributed-data-structures

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 20 hours ago. based on code collected about 20 hours ago.

Project Summary

Distributed Data Structures in Coq

Tags

No tags have been added

In a Nutshell, distributed-data-structures...

...
has had 77 commits made by 1 contributors
representing 350 lines of code
...
is mostly written in coq
with a 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 1 years of effort (COCOMO model)
starting with its first commit in March, 2013
ending with its most recent commit over 11 years ago

Quick Reference

Homepage
Download

Code Locations:

https://github.com/cmeiklejohn/d...

Similar Projects:

Become the first manager for distributed-data-structures

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
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

coq	100%

30 Day Summary

Dec 18 2024 — Jan 17 2025

0 Commits
0 Contributors

12 Month Summary

Jan 17 2024 — Jan 17 2025

0 Commits
0 Contributors

Most Recent Contributors

...her Meiklejohn

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!