H

hs-to-coq

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 1 hour ago. based on code collected about 1 hour 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 5 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...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
learn about Open Hub updates and features on the Open Hub blog
...
use of OSS increased in 65% of companies in 2016
...
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	52%
Haskell	42%
Make	5%
10 Other	1%

30 Day Summary

Nov 4 2025 — Dec 4 2025

0 Commits
0 Contributors

12 Month Summary

Dec 4 2024 — Dec 4 2025

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!