L

learn-haskell-coq-ml-etc

Settings | Report Duplicate

1

I Use This!

Inactive

Analyzed about 18 hours ago. based on code collected about 19 hours ago.

Project Summary

Where I try code from Haskell (etc) books, articles, etc.

Tags

coq functional_programming haskell ml ocaml scala

In a Nutshell, learn-haskell-coq-ml-etc...

...
has had 1,403 commits made by 1 contributors
representing 53,685 lines of code
...
is mostly written in Haskell
with a very well-commented source code
...
has a well established, mature codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 14 years of effort (COCOMO model)
starting with its first commit in August, 2013
ending with its most recent commit over 2 years ago

Quick Reference

Code Locations:

https://github.com/haroldcarr/le...

Similar Projects:

Become the first manager for learn-haskell-coq-ml-etc

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
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

Haskell	81%
coq	12%
12 Other	7%

30 Day Summary

Aug 19 2025 — Sep 18 2025

0 Commits
0 Contributors

12 Month Summary

Sep 18 2024 — Sep 18 2025

0 Commits
0 Contributors

Most Recent Contributors

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!