H

hs-to-coq

Settings | Report Duplicate

0

I Use This!

Activity Not Available

Analyzed 12 months ago. based on code collected 12 months ago.

Project Summary

Convert Haskell source code to Coq source code

Tags

No tags have been added

In a Nutshell, hs-to-coq...

...
has had 2,916 commits made by 22 contributors
representing 234,020 lines of code
...
is mostly written in coq
with a very low number of source code comments
...
has a codebase with a long source history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 61 years of effort (COCOMO model)
starting with its first commit in January, 2016
ending with its most recent commit about 4 years ago

Quick Reference

Code Locations:

https://github.com/antalsz/hs-to...

Similar Projects:

Become the first manager for hs-to-coq

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
anyone with an Open Hub account can update a project's tags
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
check out hot projects on the Open Hub

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

coq	52%
Haskell	42%
Make	5%
10 Other	1%

30 Day Summary

Dec 19 2023 — Jan 18 2024

0 Commits
0 Contributors

12 Month Summary

Jan 18 2023 — Jan 18 2024

0 Commits
0 Contributors

Most Recent Contributors

	nomeata		John Wiegley
	Li Yao		Li-yao Xia
	Yao Li		Eric Giovannini

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!