C

coqine

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.

Tags

No tags have been added

In a Nutshell, coqine...

...
has had 70 commits made by 2 contributors
representing 10,392 lines of code
...
is mostly written in OCaml
with an average 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 3 years of effort (COCOMO model)
starting with its first commit in June, 2009
ending with its most recent commit about 13 years ago

Quick Reference

Code Locations:

https://github.com/mboes/coqine

Similar Projects:

Become the first manager for coqine

This Project has No vulnerabilities Reported Against it

Did You Know...

...
65% of companies leverage OSS to speed application development in 2016
...
you can embed statistics from Open Hub on your site
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
data presented on the Open Hub is available through our API

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

OCaml	93%
Autoconf	5%
3 Other	2%

30 Day Summary

May 4 2023 — Jun 3 2023

0 Commits
0 Contributors

12 Month Summary

Jun 3 2022 — Jun 3 2023

0 Commits
0 Contributors

Most Recent Contributors

Mathieu Boespflug

Guillaume Burel

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!